4
依存するメソッドタイプの説得力のある使用例は何ですか？
以前は実験的な機能であった従属メソッドタイプが、デフォルトでtrunkで有効になりました。これにより、Scalaコミュニティに興奮が生じたようです。 一見したところ、これが何に役立つかはすぐにはわかりません。Heiko Seebergerがここに依存メソッドタイプの簡単な例を投稿しました。コメントでわかるように、メソッドのタイプパラメータを使用して簡単に再現できます。したがって、それはそれほど説得力のある例ではありませんでした。（明らかなものが欠けている可能性があります。修正してください。） 依存するメソッドタイプの代替案より明らかに有利なユースケースの実用的で有用な例は何ですか？ 以前は不可能/簡単でなかった、それらを使って何ができるか？ 彼らは、既存の型システムの機能に対して何を購入するのですか？ また、依存するメソッドタイプは、Haskell、OCamlなどの他の高度な型付き言語の型システムにある機能に類似しているか、それからインスピレーションを得ていますか？