Haskell:函数依赖的不明显例子

正如Heinrich Apfelmus所说,MPTC+FunDeps和TF本身是等效的。当它们与其他扩展(特别是重叠实例)结合使用时,就会产生差异。当允许重叠时,TF不健全,而FunDeps允许重叠。例如,使用FunDeps很容易实现类型相等:

data HTrue
data HFalse

class  TypeEq a b eq | a b -> eq
instance                TypeEq a a HTrue
instance eq ~ HFalse => TypeEq a b eq

这里的关键是重叠。原则上,可以实现类型相等而不重叠,但需要编译器支持。Oleg在这里描述了这种方法: http://okmij.org/ftp/Haskell/typeEQ.html

顺便说一句 lengthy discussion

作为曼努埃尔·查克拉瓦蒂 explains