haskell - 要么是 b。两年后的不同 Hoogle 结果？

Question

我正在关注大约两年前录制的视频。演讲者输入Either a b -> IO b公共 Hoogle 搜索输入，结果包含（除其他外）：

either :: (a -> c) -> (b -> c) -> Either a b -> c

如果我今天试一下，没有找到这个结果，很可惜。发现了类似的结果，例如

fromEither :: (Exception e, MonadIO m) => Either e a -> m a

但它们不太容易使用。

这怎么解释？Hoogle 搜索算法变得更严格了吗？要么改变了吗？

Answer 1

自您上次尝试以来，代码已完全更改。特别是，它现在可以扩展到所有 Stackage（约 2K 包），每晚更新一次，每次查询花费有限的时间（某些查询，如搜索类型a可能会使旧的 Hoogle 占用大量时间和记忆）。完全重写类型搜索算法几乎影响了所有查询——一些变得更好，一些变得更糟，在某些情况下，更好或更坏很难定义。这篇博文概述了所发生的事情，这个问题跟踪器可用于您认为可以改进的搜索。