Scalaの新しい言語機能のいくつかを使用すると、構成可能なコンポーネントシステムを実装し、Martin Oderskyが論文で説明したCakeパターンと呼ばれるコンポーネントを作成することができます。スケーラブルなコンポーネント抽象化そしてまた、最近の話。
Cake パターンで使用されている Scala の機能のいくつかには、対応する Haskell の機能があります。たとえば、Scala の暗黙的要素は Haskell の型クラスに対応し、Scala の抽象型メンバーは Haskell の関連型に対応しているようです。このことから、Cake パターンを Haskell で実装できるかどうか、また、その場合どのようなものになるかが気になります。
Cake パターンは Haskell で実装できますか? そのような実装では、Scala の機能は Haskell のどの機能に対応していますか? Cake パターンを Haskell で実装できない場合、それを可能にするためにどの言語機能が欠けていますか?
ベストアンサー1
Oleg はここで非常に詳細な回答を提供しました:http://okmij.org/ftp/Haskell/ScalaCake.hs