Mit einer Reihe neuerer Sprachfunktionen in Scala ist es möglich, ein zusammensetzbares Komponentensystem zu implementieren und Komponenten unter Verwendung des sogenannten Kuchenmusters zu erstellen, das von Martin Odersky in der Veröffentlichung beschrieben wurdeSkalierbare Komponentenabstraktionen und auch in aLetzte Diskussion.

Einige der im Kuchenmuster verwendeten Scala-Features verfügen über entsprechende Haskell-Features. Zum Beispiel entsprechen Scala-Implicits den Haskell-Typklassen, und die abstrakten Typmember von Scala scheinen den mit Haskell verknüpften Typen zu entsprechen. Daher frage ich mich, ob das Kuchenmuster in Haskell implementiert werden könnte und wie es aussehen würde.

Kann das Kuchenmuster in Haskell implementiert werden? Welchen Haskell-Features entsprechen die Scala-Features in einer solchen Implementierung? Wenn das Kuchenmuster in Haskell nicht implementiert werden kann, welche Sprachfunktionen fehlen, um dies zu ermöglichen?