Спасибо. Попробую разобраться, как это сделать.

Можно небольшой sanity check? Если я определил (и доказал законы) return и >>= и в их терминах определил fmap, liftA2 и pure, то все законы функторов и аппликативных функторов получатся бесплатно?

Да

Ну и замечательно, спасибо

В продолжении истории о дружбе Stack с HLS и ошибкой Distribution.Simple:

Перешел в итоге на cabal-пректы. С ними все замечательно, LSP-сервера работают, проекты компилируются, примеры из книг работают.

Stack же дружить с HSL принципиально отказался, несмотря на все мои игры с ghc. Здесь LSP-сервер или сразу падает и просит перезапуститься, или просто не работает, хоть и светит значком с ракетой (мучался в Doom Emacs). Отложу штурм Stack'а на более прокаченное по Haskell'у состояние.

А HLS оказался хорош! Помимо прочего впечатлил подсказками, где предлагал заменить мои конструкции на более простые с использованием других(!) функций. :)

(Это пока проект маленький и памяти хватает. Впрочем, может у всех уже 16+ Гб. Да и на этапе изучения редко проекты бывают настолько большими.)

Недавно склонировал репу гхц - хлс работает замечательно, если не смотреть на проблему утечек памяти. Да и даже так моих 16 гб хватает на сутки+

Кстати, возможно, раньше я с хлс страдал как раз из-за стака. Там постоянно какие-то проблемы были и он отваливался.

да это зависит не стоко от величины, скоко от дженерик- и темплейтхаскель- тяжести. гхц заметного размера, но не особо компиляциестрадательный по сравнению с "микро" "сервисом" каким-нить

но, конечно, нехорошо обесценивать то, что ленгвиджсервискостыль работает на гхц коде, относительно недавно это была фантастика

занятно. а у меня со стэком лучше работает, чем с кабалом. всё-таки хорошо иметь выбор!

но когда работает только одно из двух - это значит что выбора нет

это лучше, чем когда работает 0 из 1

да, но выбора-то все равно нет

Стоп, ты же не используешь хлс

С набором собери-хлс-себе-сам понятно почему работает хорошо

использую. его очень сложно не использовать, если хочешь писать на Хаскеле в VSCode. ну и я же должен помогать сообществу, есть ту же собачью еду, что и все

только не очень получается помогать

Ну лучше всего у меня работало в гхц, т.е. вообще без кабала/стака :)