haskell - 约束箭头 do 表示法

Question

{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE Arrows #-}

给定一些约束 Foo , 我想在 FooArrow 中使用可重新绑定(bind)的箭头 do-notation s:其中类型满足 Foo .我们只能提升 Foo 之间的箭头类型，我们只能使用 first 对它们进行张量如果他们是 foo类型。

class FooArrow hom where
  arr :: (Foo a) => (a -> b) -> hom a b
  (>>>) :: (Foo a, Foo b, Foo c) => hom a b -> hom b c -> hom a c
  first :: (Foo a, Foo b, Foo c) => hom a b -> hom (a, c) (b, c)

returnA :: (FooArrow hom, Foo a) => hom a a
returnA = arr (\a -> a)

直到这里，一切都编译得很好。但是，当实际使用该符号时，编译器会报错 • Could not deduce (Foo b1) arising from a use of ‘first’ ，即使在我认为我已经提供了所有 Foo 的情况下约束。

swap :: (FooArrow hom, Foo a, Foo b) => hom (a,b) (b,a)
swap = proc (a , b) ->
    returnA -< (b, a)

class Foo a where
instance Foo () where
instance (Foo a, Foo b) => Foo (a , b) where

为什么我会收到此错误？我错过了一些东西来完成这项工作吗？是否有可能获得受约束的箭头符号？

Answer 1

箭头的可重新绑定(bind)语法是 feature-limbo for a long time 中的内容。 .确实，链接的票证几乎准确地详细说明了您的问题，并且是从 2013 年开始的。我的意思是，从技术上讲，存在可重新绑定(bind)的箭头语法，但正如它所说 in the documentation :“这些函数的类型必须与 Prelude 类型非常匹配。细节不断变化；如果你想使用这个，请问!”
我觉得有必要指出，那张 8 岁的票确实有一年半前的事件，表明工作正在进行中。但是，如果您现在需要一个解决方案，我认为您可以继续您正在尝试做的事情的唯一方法是使用 GHC 扩展或预处理器。也许是帕特森的原创 arrowp预处理器可以满足您的需要，但对 hackage 的搜索也显示(有点新)arrowp-qq ，这可能是另一种选择。