我正在关注大约两年前录制的视频。发言者输入Either a b -> IO b
在公共(public) Hoogle 搜索输入中,结果包含(除其他外):
either :: (a -> c) -> (b -> c) -> Either a b -> c
如果我 try it today ,这个结果没有找到,很可惜。发现了类似的结果,例如
fromEither :: (Exception e, MonadIO m) => Either e a -> m a
但它们不太容易使用。
这怎么解释? Hoogle 搜索算法变得更严格了吗?要么改变了吗?
最佳答案
自您上次尝试以来,代码已完全更改。特别是,它现在可以扩展到所有 Stackage(约 2K 包),每晚更新一次,每次查询花费有限的时间(某些查询,如搜索类型 a
可能会使旧的 Hoogle 占用大量时间)时间和内存量)。完全重写类型搜索算法几乎影响了所有查询——一些变得更好,一些变得更糟,在某些情况下,更好或更坏很难定义。 This blog post作为对发生的事情的概述,this issue tracker可用于您认为可以改进的搜索。
关于haskell - 要么是 b。两年后的不同 Hoogle 结果?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58026711/