AZ
что делать если мне нужен pure (pure a)) ?
Size: a a a
2020 August 05
p
чем это хорошо?
Меньше кода!
p
Больше бизнес логики
KR
все это его "является-не является" типом это какое-то балабольство
Говоришь как он)
AZ
Меньше кода!
меньше кода не значит лучше
AZ
Говоришь как он)
учусь у худших
p
меньше кода не значит лучше
Ну против имплиситного a -> Lazy a вопросов думаю нет?
KR
Поэтому нужно аккуратно использовать, говорю жк
Ну, мы же здесь все вроде сторонники "аккуратно использовать - не работает".
AZ
foo : IO Int
foo = 1
foo = 1
кстати в идрисе это так работает для бесконечных типов Inf
KR
нужны гарантии и т.п.
AZ
в целом, более-менее адекватно, но для всех рандомных монад - зло
AZ
Ну против имплиситного a -> Lazy a вопросов думаю нет?
как раз вот написал
p
Ну, мы же здесь все вроде сторонники "аккуратно использовать - не работает".
Почему
p
Ансейф аккуратно использовать - не работает?
AZ
Почему
в случе Lazy у тебя ВСЕ использования lazy исчезают
AZ
а с pure ты максимум снимаешь верхний слой, остальные остаются
AZ
это мне напоминает пропозал не писать
Ok в растеp
в случе Lazy у тебя ВСЕ использования lazy исчезают
ну да, и это хорошо же, не?
KR
Ансейф аккуратно использовать - не работает?
Там много церемоний для этого специального. Ты же хочешь в сейф
AZ
ну да, и это хорошо же, не?
когда все использования исчезают - хорошо, когда получается фрагментация "тут исчезло тут нет" то не оч