случайно  прочитал как ислам на украинском

Популярность языка зависит от того сколько книжек про него написано

А трата денег на подарки вызывает новый год

Ну не то, чтоб вызывает...
Но коррелирует сильно, тут никто спорить не будет!

за сколько можно нанять человека чтобы фултаймил GHC и потушил пожар в 8.8 и далее?

https://gitlab.haskell.org/ghc/ghc/-/issues?label_name=backport+needed%3A8.10

за полную ставку, вестимо

это очень ленивый ответ

интересно в 8.6 поприличей было или такой же кластерфак, просто я не замечал?..

Я не помню, выведение Ord сломали в 8.8 или 8.6?

а что там с ним?

даже на полставки улучшит ситуацию

Не помню. Кажется сломали вывод для типов с большим кол-вом конструкторов

никогда прилично не было

вроде 8.6

Всем привет. Кто-нибудь знает библиотеки для астрономических расчётов кроме astro? ничего не могу найти

Однако

На Цюрихаке этого года был проект mission control AURIS — возможно, есть смысл связаться с его автором (https://github.com/oswald2).

благодарю

Я кажется понял одну вещь...
Фри монаду лишь только для контрвариантных функторов(по крайней мере не для всех)не построить...
Давайте рассмотрим такой пример:
Free (b ->) a  - как это развернется...
1.Как (b -> (b -> (b -> (... -> a))))
То есть мы накладываем друг на друга функторы и получаем функтор...
Если опираться на эту концепцию ,то напишем что-то подобное для контрвариантов:
2.(a -> (a -> (a -> (... -> b))))
Почему так?
Потому-что иначе никак:
Так не выйдет :
(((a -> b) -> b) -> b) -> ...
Это не будет контрвариантным функтором...
Так вот,давайте посмотрим,как сделать инстанс для контрвариантного функтора(вариант 2)).
Допустим для (a -> (a -> b))
contramap f =
   fmap (contramap f). contramap f
   
Мы уже воспользовались обычным функтором...

С линейными типами они могут быть полезны