Haskell \lambda-> and Rust |lambda| are sound unless the language is such that higher-order functions are expressed by nesting these constructs.
確定! 回上一頁