a 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占用大量时间和内存）。完全重写类型搜索算法几乎影响了所有查询-有些变得更好，有些变得更糟，在某些情况下，很难定义好坏。这篇博客文章概述了发生的情况，该问题跟踪器可用于您认为可以改进的搜索。