EG
Что такое вообще «асинхронный» для ленивого кода?
Size: a a a
2021 January 20
EG
(Я был несколько разочарован, когда узнал, что хаскелль не использует чистоту функций, чтобы автоматически распараллеливать что-нибудь)
DS
Но я плохо понимаю, как вообще работают асинхронные движки в хаскелле
В хаскеле всё достаточно сложно с точки зрения рантайма. В той же скале или расте это можно сделать с тупым боксингом футур.
DS
В хаскеле оно тоже, конечно, похоже всё на боксинг футур со своим шедулером и т.п., но там дофига особенностей связанных именно с хаскель рантаймом в принципе.
DS
Потому что всякие STM/MVar'ы и т.п. - там вшито в рантайм
DS
Про внутреннее устройство хаскель рантайма есть кстати относительно понятные слайды: https://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
DS
(Я был несколько разочарован, когда узнал, что хаскелль не использует чистоту функций, чтобы автоматически распараллеливать что-нибудь)
За этим в reduceron
DS
Потому что параллелить на х86 обычный код автоматически - это в целом плохая идея.
p
m — это не миддлвейр. m — это монада, через которую работает ввод-вывод, просто мне пришлось закопаться ещё на три уровня в код, чтобы это выяснить
Да, это хаскель
p
Поэтому я не хочу учить хаскель
p
Чтобы там доге не говорил что все понятно
EG
Я решил дать ещё одну попытку актиксу
Документация актикса на 50% состоит из WIP
Документация актикса на 50% состоит из WIP
EG
Оставшиеся 50% — примеры хелловорлдов
DS
Я решил дать ещё одну попытку актиксу
Документация актикса на 50% состоит из WIP
Документация актикса на 50% состоит из WIP
Ну актикс, как и хаскель/скалу/кучу раст либ, надо изучать по исходникам. Это нормально для редких языков
p
Ну актикс, как и хаскель/скалу/кучу раст либ, надо изучать по исходникам. Это нормально для редких языков
Нет
p
Это ненормально
p
Если нет гайда по либе, то либы нет
DS
Нет
Да и не только. Обычно самый быстрый способ разобраться в либе - залезть в исходники
p
Либа без документации бесполезное дерьмо
DS
В любом языке