AV
тут звучала либа @qnikst и co-log ещё
Те же katip и di
Size: a a a
2020 November 09
YS
Те же katip и di
di?
YS
ух
YS
сложно то как(
AV
Там даже появились handle и эффекты интерфейсы
YS
(вернулся к своему хенделу
:: Text -> IO ())AV
Это правильная часть идеи co-log
AV
То, что логер это просто обёртка над интерфейсом
:: a -> IO ()YS
ну я уже в подсистемах отдельно оборачиваю хендлер
YS
с какими-нужно сигнатурами
YS
для каждой своё
YS
пока не нужно ничего кроме
Text -> IO ()YS
.-.
AA
Предлагали "возвращает не-боттом, если даны не-боттом аргументы"
и про какую хаскельную функцию можно такое сказать?
AV
это LogAction Text IO в терминах co-log
AV
и про какую хаскельную функцию можно такое сказать?
dataTag# ?
KV
и про какую хаскельную функцию можно такое сказать?
id
safeHead :: [a] -> Maybe a
safeHead :: [a] -> Maybe a
AA
id
safeHead :: [a] -> Maybe a
safeHead :: [a] -> Maybe a
так нельзя же
KV
так нельзя же
Чёита?