Haskell函数依赖a b – > c取决于c？

发布时间：2020-12-13 20:25:14 所属栏目：百科来源：网络整理

导读：考虑以下 Haskell代码： {-# LANGUAGE MultiParamTypeClasses,FlexibleInstances,FunctionalDependencies #-}class C a b c | a b - cinstance C (l (i,j)) (r i j) jinstance C (l i j) (r (i,j)) j-- Conflict between the following two linesinstance C

考虑以下 Haskell代码：

{-# LANGUAGE MultiParamTypeClasses,FlexibleInstances,FunctionalDependencies #-}

class C a b c | a b -> c

instance C (l (i,j)) (r i j)   j
instance C (l i j)   (r (i,j)) j
-- Conflict between the following two lines
instance C (l (i,j)) (r (i,j)) j  
instance C (l i j)   (r i j)   j

这里,GHC在最后两行之间产生功能依赖性错误.
如果我删除最后两个实例声明中的任何一个,代码将编译.我尝试使用类型系列的类比,这也产生了冲突.我的第一个问题是：为什么最后两行冲突,而其他声明一起工作得很好？

另外,如果我将最后一行更改为

instance C (l i j)   (r i j)   i

GHC接受该代码.
这似乎很奇怪,因为唯一改变的是依赖类型变量c.有人可以解释这种行为吗？

最后两个实例具有冲突的统一.让我使用完全不同的变量名称：

C (a c (d,e)) (b c (d,e)) e
vs.
C (a c (d,e)) (d,e)

特别是,第三个实例中的l可以与已经应用了参数的类型构造函数统一.

将j改为i会改为最后一个：

C (a c (d,e)) c

我仍然不明白为什么不提出投诉.也许是因为你可以分配c = e的类型,但不能指定e =(d,e)(这将给出Haskell不允许的无限类型),但它仍然看起来像是一个可疑的东西.也许这甚至是一个GHC错误.

其他实例组合不会发生冲突,因为当您尝试统一它们时,最终会出现类似于上面e =(d,e)的矛盾,但在非依赖部分中,它们无法匹配.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!

Haskell函数依赖a b – &gt; c取决于c？

Haskell函数依赖a b – > c取决于c？