MK
Господа, я вот прошел обе части курса Haskell на степике. Интерес к языку остался, хотелось бы как расширить, так и углубить знания. Что посоветуете?
А вообще делай свои проекты
Как бы банально не звучало
Как бы банально не звучало
Size: a a a
2021 February 20
A
Уил Курт, программируй на хаскель
Хм, ну я вот посмотрел оглавление, там вроде какие-то основы до монад + больше практических юзкейсов
А мне как раз больше интересна теория — как и всякие зигоморфизмы (линзы ещё, видимо — из интересного на степике только трансформеры были), так и, может, формальное описание теории типов и тонкости работы компилятора (почему разные реализации едят разное количество памяти и т.д.)
Но всё равно спасибо
А мне как раз больше интересна теория — как и всякие зигоморфизмы (линзы ещё, видимо — из интересного на степике только трансформеры были), так и, может, формальное описание теории типов и тонкости работы компилятора (почему разные реализации едят разное количество памяти и т.д.)
Но всё равно спасибо
MK
Хм, ну я вот посмотрел оглавление, там вроде какие-то основы до монад + больше практических юзкейсов
А мне как раз больше интересна теория — как и всякие зигоморфизмы (линзы ещё, видимо — из интересного на степике только трансформеры были), так и, может, формальное описание теории типов и тонкости работы компилятора (почему разные реализации едят разное количество памяти и т.д.)
Но всё равно спасибо
А мне как раз больше интересна теория — как и всякие зигоморфизмы (линзы ещё, видимо — из интересного на степике только трансформеры были), так и, может, формальное описание теории типов и тонкости работы компилятора (почему разные реализации едят разное количество памяти и т.д.)
Но всё равно спасибо
А, ну так бы сразу и сказал
MK
Обычно людям всё-таки практика интересна)
A
А, ну так бы сразу и сказал
У меня это хобби скорее :)
А язык красивый
А язык красивый
MK
Если интересна теория типов, читай Бенджамина Пирса, TAPL
Хаскель для этого не обязателен
Хаскель для этого не обязателен
MK
По тонкостям работы ghc можно разве что папиры читать (но я могу ошибаться)
MK
Есть ещё the book of monads Алехандро Серрано
MK
Глянь оглавление, может интересно будет
MK
Ну или type driven development in Idris
AK
Не подскажете, почему Stack собирает в папку с именем словно хешированным?
MK
Чтобы отличать папки для разных настроек
MK
Хэш зависит от версии компилятора, резолвера и кучи чего ещё
MK
Тебе это чем-то мешает?
AK
Непривычно. Обычно самые важные настройки выносят в название.
MK
В хаскеле принято хэши)
AK
А Вы, случайно, не в VS Code работаете? Не знаете, как сделать так, чтобы расширение запускало функции прямо из комментариев?
Я, может быть, чего-то упускаю, но в описании написано, что это расширение при установке тянет haskell-language-server (я посмотрел, бинарник в папке лежит).
Я, может быть, чего-то упускаю, но в описании написано, что это расширение при установке тянет haskell-language-server (я посмотрел, бинарник в папке лежит).
MK
Надо написать
-- >>> тут код
-- >>> тут код
MK
На такой строке появится серая надпись запустить