Size: a a a

Compiler Development

2021 June 27

МБ

Михаил Бахтерев... in Compiler Development
Ну. Это от языка зависит. JS, вроде, поддерживает такую нотацию. Но даже и без неё, когда нужна функция от одного аргумента пишем: (h) => handler(h, undefined).
источник

а

а это кто in Compiler Development
Разве в хаскеле есть вариадики?
источник

МБ

Михаил Бахтерев... in Compiler Development
Накостылить можно.
источник

[

[BRM]White Rabbit in Compiler Development
в хаскеле нет вариадиков
источник

[

[BRM]White Rabbit in Compiler Development
(но их можно написать)
источник
2021 June 28

к

кана in Compiler Development
значит в хаскеле нет монад, но их можно написать
источник

[

[BRM]White Rabbit in Compiler Development
так а монады существуют где-то вне библиотечного контекста?
источник

[

[BRM]White Rabbit in Compiler Development
вариадики вот вшиты в некоторые языки
источник

K

Kir in Compiler Development
Што
источник

K

Kir in Compiler Development
Существуют, в теоркате
источник

[

[BRM]White Rabbit in Compiler Development
мы же про языки программирования
источник

K

Kir in Compiler Development
В шкале
источник

K

Kir in Compiler Development
там for вместо do
источник

[

[BRM]White Rabbit in Compiler Development
так монады - не ду-нотация
источник

K

Kir in Compiler Development
Идрис с Агдой ещё
источник

K

Kir in Compiler Development
Так в скале даже трансформеры есть
источник

[

[BRM]White Rabbit in Compiler Development
так
в скале есть тайпкласс Monad, который можно в случае чего написать ручками, верно?
источник

K

Kir in Compiler Development
источник

[

[BRM]White Rabbit in Compiler Development
ну так они(монады) находятся на библиотечном уровне
источник

[

[BRM]White Rabbit in Compiler Development
ду-нотация встроена в язык, но к самим монадам имеет отношение лишь постольку поскольку это синтаксический сахар над  этим тайпклассом
источник