2

我目前正在使用 haskell 构建服务器，作为语言的新手，我想尝试一种新的方法 zu Monad 组合。这个想法是我们可以编写库方法，例如

    isGetRequest :: (SupportsRequests m r) => m Bool
    isGetRequest = do
        method <- liftRequests $ requestMethod
        return $ method == GET

    class (Monad m, RequestSupport r) => SupportsRequests m r | m -> r where
        liftRequests :: r a -> m a

    class (Monad r) => RequestSupport r where
        requestMethod :: r Method

在不知道底层单子的情况下工作。当然，在这个例子中，让 isGetRequest 直接在 (RequestSupport r) monad 上运行就足够了，但我的想法是我的库也可能对 monad 有多个约束。然而，我不想在同一个模块中实现所有这些不同的关注点，也不想将它们分散到不同的模块（孤儿实例！）。这就是为什么 m monad 只实现Supports*类，将真正的关注点委托给其他 monad。

上面的代码应该可以完美运行（对 GHC 进行了一些语言扩展）。不幸的是，我在 CRUD（创建读取更新删除）问题上遇到了一些问题：

class (Monad m, CRUDSupport c a) => SupportsCRUD m c a | m a -> c where
    liftCRUD :: c x -> m x

class (Monad c) => CRUDSupport c a | c -> a where
    list :: c [a] -- List all entities of type a

不，我得到一个错误：

Could not deduce (SupportsCRUD m c a0) from the context [...]
The type variable 'a0' is ambiguous [...]
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method: liftCRUD [...]

似乎类型检查器不喜欢该a参数不直接出现在liftCRUD的签名中。这是可以理解的，因为a不能从函数依赖中派生出来。

a我大脑中的类型检查器告诉我，稍后在库方法中执行有关 CRUD 的某些方法时，使用 AllowAmbiguousTypes推断类型应该不是问题。不幸的是，GHC 似乎无法执行此推理步骤，例如

bookAvailable :: (SupportsCRUD m c Book) => m Bool
bookAvailable = do
    books <- liftCRUD (list :: c [Book]) -- I use ScopedTypeVariables
    case books of
        [] -> return False
        _ -> return True

产量

Could not deduce (SupportsCRUD m c0 a1) arising from a use of 'liftCRUD' [...]
The type variables c0, a1 are ambiguous [...]

看来我仍然无法推理编译器。我有办法解决这个问题吗？或者至少是一种理解编译器能够推断出什么的方法？

最好的问候， bloxx

4

1 回答 1

3

要使用ScopedTypeVariables，您还需要将要在范围内的变量与forall. 所以应该是

bookAvailable :: forall m c. (SupportsCRUD m c Book) => m Bool
...

这就是我编译代码所必需的（在我做了一些微不足道的修复后，我认为这是输入您的问题时的拼写错误）。

于 2017-10-10T17:53:08.017 回答