Hayoo/Hoogle不匹配单态/少多态签名与多态签名

Question

我试图了解Hoogle和Hayoo为什么不匹配的根本原因

(b -> c) -> (b' -> c') ->   (b, b') -> (c, c')

至

a b c    -> a b' c'    ->   a (b, b') (c, c')

这恰好是以下类型Control.Arrow.***:

(***) :: a b c -> a b' c' -> a (b, b') (c, c')

- 这可能只是尚未实现的东西,还是有一些基本的东西阻止了这种基于类型的搜索的实施？

Answer 1

对于胡格尔来说，这似乎是处理方式的结果->。GitHub 跟踪器中的问题 #64与我们在这里讨论的非常相似，其中包括 Neil Mitchell 的评论：

目前，我快速从参数中分离出结果类型。我想一种方法是找到 的实例->并预先生成一个->替换为 in 的版本。