Либо б.Различные результаты Hoogle после двух лет?

Question

Я смотрю видео, которое было записано около двух лет назад.Говорящий вводит Either a b -> IO b в общедоступном поиске Google, и результат содержит (среди прочего):

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

Если я попробую сегодня , этот результат не найден, чтожалость.Подобные результаты найдены, например

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

, но они менее готовы к использованию.

Чем это можно объяснить?Стал ли более строгим алгоритм поиска в Google?Изменилось ли что-нибудь?

Answer 1

Код полностью изменился с момента последней попытки.В частности, теперь он масштабируется до всех пакетов Stackage (~ 2 тыс. Пакетов), обновляется каждую ночь и занимает ограниченное количество времени на запрос (некоторые запросы, такие как поиск типа a, могут заставить старый Hoogle занимать огромное количество времени).количество времени и памяти).Полное переписывание алгоритма поиска типов затронуло почти все запросы - некоторые стали лучше, некоторые хуже, а в некоторых случаях трудно определить, что лучше или хуже. Этот пост в блоге служит обзором произошедшего, и этот трекер проблем можно использовать для поиска, который, по вашему мнению, можно улучшить.