K
Нууууу, да
Т.е. сами монады и в Хаскеле и в Идрисе и в Агде и в Скале существуют на уровне библиотек.
Вот если бы был язык, в котором монады встроены by design, тогда можно было бы говорить, что в хаскеле монад нет, но их можно написать.
Size: a a a
2021 June 28
K
Так их и так нет, в Хаскелле-то
[
Так есть. На уровне стандартной библиотеки.
к
так на уровне стандартной библиотеки и вариадик функции есть
[
так мы уже обсудили, что монад на уровне самого языка нигде нет, а вариадики в некоторых яп есть
к
дык монады на уровне языка вроде бы есть, видел как минимум один категорный язык
[
это где? и прям в парсер встроены?
к
прям в концепцию языка
[
[
так что за язык
к
не помню
AT
C++, Rust, Java, C#, Python, etc. — всё работает в IO монаде, которая встроена в язык. 🤷♀️
[
в IO-монаде, которая работает не как монада
DP
Там и state monad встроена! Очень богатые на монады языки.
AT
А чего это там до монады нехватает?
[
let, который даёт чистые вычисления
к
собственно, самой монады
K
Дак в хаскелле вообще все вычисление чистые