与基金绑定约束

Question

我有一个函数foo，有一系列约束。当然，这些约束必须出现在使用foo的函数的签名中，所以我试图将foo约束包装在类型同义词FooCtx a b…：：约束。例如，

foo :: (A a, B b, C c, ...) => a -> b -> c

bar :: (A a, B b, C c, ...) ...
bar = ... foo ...

会成为

type FooCtx a b c ... = (A a, B b, C c, ...)
foo :: (FooCtx a b c) => a -> b -> c
bar :: (FooCtx a b c) => ...

如果所有类型都公开，这将非常有效。但是，我使用函数依赖来生成约束列表中的一些类型，这些类型不会出现在foo的签名中。例如：

class Bar a b | a -> b

foo (Bar a b, ...) => a -> a

GHC不接受type FooCtx a=（Bar a b），因为b在LHS上没有绑定。我也不能使用type FooCtx a b=（Bar a b），因为b不在foo的签名范围内。foo的签名将是foo:：（FooCtx a？）=

一个不令人满意的解决方案是在foo签名中使用foCtx将fundep类型置于作用域中：

class Bar a b | a -> b

type FooCtx a b = ...

foo (Bar a b, FooCtx a b) => a -> a

但这违背了将约束分组的目的：

在遇到这种情况之前，我一直认为约束同义词可以盲目地替代任意约束列表。我所知道的封装约束的唯一其他方法是使用类，但它遇到了相同的问题：class（a，B，C，…）=




Answer 1

这个问题可以通过TypeFamilies和FlexibleContexts解决。

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}

我们有三个类，A，B，和C和原始的foo函数。

class A a
class B a
class C a

foo :: (A a, B b, C c) => a -> b -> c
foo = undefined

Bar类使用类型族来计算B与a的搭配。我添加了一个附加函数，只是为了编写示例foo'。

class Bar a where
    type BofA a :: *
    aToB :: a -> BofA a

foo'是一个函数，它没有任何输入或输出是B，但在其实现中仍然使用foo。它要求与a关联的BofA类型满足B约束。这种签名需要灵活的上下文。

foo' :: (A a, Bar a, B (BofA a), C c) => a -> a -> c
foo' x y = foo x (aToB y)

Answer 2

您误解了类型变量的绑定方式。它们不受tau类型（thea）的约束-

在你的例子中，当你写一些像

foo :: (Bar a b) => a -> a

然后，完整的sigma类型，以及显式的tyvar绑定，如下所示（因为在隐式情况下，来自phi类型的所有tyvar都在这里绑定）

foo :: forall a b. (Bar a b) => a -> a

这意味着以同样的方式使用约束别名是没有问题的：如果你有例如。

type FooCtx a b = (Bar a b, Num a, Eq a)

下面是一个有效的类型签名：

foo' :: forall a b. (FooCtx a b) => a -> a

因此，以下速记也是有效的：

foo' :: (FooCtx a b) => a -> a