AK
Есть у него линукс компилятор
Есть и у SML/OCaml/F# причем у F# есть собственно дот нетовский есть Моно...
Size: a a a
2021 March 31
[
я первый степик вроде пробовал, но мне не очень понравилось
[
но если что, попробую второй
WB
У Курта ничего нет про трансформеры монад насколько помню, если и было что то то совсем вскользь, и не освещаются такие важные классы типов как Traversable/Foldable/Alternative/MonadPlus, нет монад Cont
[
всё верно
[
ещё 0 по теме параллельности
WB
Ну конкурентность это уже за рамками базовых основ языка, не любой код нуждается в ней, а эти вещи нужны практически везде и сразу
[
ну, не знаю, конкурентность нужна даже для таких банальных вещей, как какой-нибудь бот
WB
Смотря какой бот
AK
Я так понимаю конкурентность тоже через монады реализуется?
YS
WB
В тг боте она не нужна, там идут последовательные запросы к апи телеграмма, не зависящие от количества пользователей бота
[
в хаскеле много чего реализуется через монады. Мощный инструмент.
YS
Точнее асинхронность
AK
Соответственно в теме о монадах конкурентность тоже была бы к месту как иллюстрация что монады это весьма широкое понятие и шире "просто завернуть IO"
YS
Монады и ввод-вывод вообще ортогональны
YS
Кмк
AK
Точнее асинхронность
Если подумать то все что есть конкарренси в разных языках это именно асинхронность, честный параллелизм разве что через форки в ОС можно реализовать
YS
Если подумать то все что есть конкарренси в разных языках это именно асинхронность, честный параллелизм разве что через форки в ОС можно реализовать
параллелизм и конкарренси - разное
YS
конкаренси не исключает параллелизм