例如,我试图了解谷歌和雅虎不匹配是否有根本原因
(b -> c) -> (b' -> c') -> (b, b') -> (c, c')
to
a b c -> a b' c' -> a (b, b') (c, c')
这恰好是类型Control.Arrow.*** http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Arrow.html#v:-42--42--42-:
(***) :: a b c -> a b' c' -> a (b, b') (c, c')
——这可能只是尚未实现的东西,还是有一些根本性的东西阻止了这种基于类型的搜索的实现?
对于谷歌来说,这似乎是一个结果->
被处理。GitHub 跟踪器中的问题#64 https://github.com/ndmitchell/hoogle/issues/64与我们在这里讨论的内容非常相似,其中包括尼尔·米切尔的评论:
目前,我快速从参数中分离出结果类型。我想一种方法是找到实例->
并预生成一个版本->
代入.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)