AV
дoписывать к нему кoмбинатoры при случае - этo как?
Что-то среднее
Size: a a a
2020 May 18
YS
дoписывать к нему кoмбинатoры при случае - этo как?
Ну это как раз ближе к "написать сервант"
AV
Ого! У нас тогда есть не только боринг IO
AP
Type'ish-level programming
YS
Что-то среднее
"Программирование возле типов"
AP
странная классификация
Ну написание на фреймворке не равно написанию фреймворка
JS
какой-нибудь mtl уже содержит "программирование на типах", а это довольно базовый Хаскель
YS
какой-нибудь mtl уже содержит "программирование на типах", а это довольно базовый Хаскель
А что там на типах?
JS
А что там на типах?
например, фундепы или сам факт того, что трансформер — это функция из монады в монаду
YS
например, фундепы или сам факт того, что трансформер — это функция из монады в монаду
Фундепы соглашусь
JS
когда пользователь пишет type AppM = StderrLoggingT (ReaderT Config IO), это своего рода программирование на типах
JS
то есть даже не в mtl это начинается, а на шаг раньше — в transformers
2020 May 19
DS
Наконец-то увижу как кодят на Haskell!
Не ожидай ничего чудесного. Просто кодинг, зачастую весьма скучный.
YS
Не ожидай ничего чудесного. Просто кодинг, зачастую весьма скучный.
Ну я примерно представляю как оно выглядит, у меня проектик свой) Но всё равно - люблю смотреть как люди кодят!
YS
Ровно как и люблю чаще стримы с играми смотреть вместо того, чтобы играть
DS
Не, в этом смысле мне тоже было бы интересно посмотреть, как минимум на используемые инструменты.
AV
Вот я разочарую людей, если таки лайвкодить решу )
YS
Да разве это так важно с: