我正在跟踪大约两年前录制的视频。演讲者输入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搜索算法变得更严格了吗?有没有改变?
自上次尝试以来,代码已完全更改。特别是,它现在可以扩展到所有Stackage(约2K个软件包),每晚更新一次,每次查询花费的时间是有限的(某些查询(例如搜索类型)a
可能会使旧版Hoogle占用大量时间和内存)。完全重写类型搜索算法几乎影响了所有查询-有些变得更好,有些变得更糟,在某些情况下,很难定义好坏。这篇博客文章概述了发生的情况,该问题跟踪器可用于您认为可以改进的搜索。