AP
А это ещё большее изменение в привычках.
Size: a a a
2021 May 03
AP
Э.. не матчить?
AP
runMaybeT
AP
и получить
IO (Maybe a)AP
потом уже биндить и матчить
JS
у нас есть как минимум 3 полурантаймовых рефлексии:
— Generic — для обобщённого чтения данных,
— Data — тоже для обобщённого чтения данных, но ещё и для записи,
— Typeable — для идентификации типа.
и одна полностью компайлтаймовая — TemplateHaskell
— Generic — для обобщённого чтения данных,
— Data — тоже для обобщённого чтения данных, но ещё и для записи,
— Typeable — для идентификации типа.
и одна полностью компайлтаймовая — TemplateHaskell
MK
замокан
JS
для передачи общих данных через контекст монады
JS
например, чтобы пул соединений с БД передавать неявно в HTTP-ручки
AS
readerT реализует интерфейс лексических переменных по сути
AS
Как в лиспе
JS
а вот тут уже я потерялся
AS
Никто в принципе не мешает передавать это все явно. Просто тогда функции перестают быть стрелками :(