tib*_*bbe 20 haskell module cake-pattern
在Scala中使用许多较新的语言特性,可以实现可组合的组件系统,并使用所谓的Cake Pattern创建组件,Martin Odersky在可扩展组件抽象论文中以及最近的演讲中描述了这种模式.
Cake Pattern中使用的一些Scala功能具有相应的Haskell功能.例如,Scala implicits对应于Haskell类型类,Scala的抽象类型成员似乎对应于Haskell的关联类型.这让我想知道Cake Pattern是否可以在Haskell中实现以及它看起来像什么.
Cake模式可以在Haskell中实现吗？Scala功能在这样的实现中对应哪些Haskell功能？如果Cake模式无法在Haskell中实现,那么哪些语言功能可能无法实现？