クロージャを boxせずに 返したい: Rustのconservative_impl_traitとimplementation leak - 簡潔なQ

クロージャを boxせずに 返したい: Rustのconservative_impl_traitとimplementation leak - 簡潔なQ

概要: 「クロージャを boxせずに 返したい」という欲求は人類の四大欲求のひとつと言われている。 conse...概要を表示 概要: 「クロージャを boxせずに 返したい」という欲求は人類の四大欲求のひとつと言われている。 conservative_impl_trait という機能を使うことでこれをスパッと解決できるが、これは単なる構文糖衣にとどまらずRustの型システムに食い込むこともあってかまだ安定版入りしていない。なぜこの機能が必要で、なぜこの機能が問題かを説明する。 クロージャをboxせずに返したい話 Rustではクロージャに異なる型がつく OCamlやHaskellのような言語では、外の環境を引き継ぐ無名関数 (クロージャ) を次のように作ることができるのであった。 let mult_curry x = fun y -> x * y この関数は x を受け取り、「y を受けとってx * yを返す関数」を返す。この「y を受けとって x * y を返す関数」は、 y というデータを引き連れている。そして

• Rust
• あとで読む