ΑZ
если в типчиках видны эффекты то будут монады
Size: a a a
2020 September 02
ΑZ
если нет то нет
ΑZ
а видны они как
foo : IO () или IO fn foo не важно совершенноΑZ
Т-34 85
❗️Правительство Германии сообщило, что Навальный был отравлен веществом из группы «Новичок»
https://zona.media/chronicle/navalny_omsk?_share=1&event=35233
https://zona.media/chronicle/navalny_omsk?_share=1&event=35233
снято на американской квартире
ΑZ
а ты и поверил
A
если в типчиках видны эффекты то будут монады
У аппликативов вроде тоже эффекты есть?
ΑZ
У аппликативов вроде тоже эффекты есть?
эффект это тип
Т8
а ты и поверил
его отравили Новичком уже в Германии!!! В Омске же не обнаружили ядов!
A
я просто говорю что от более странного синтаксиса ничего не изменится
Т.е. не изменится, мы не можем писать код абстрагируясь от конкретной монады.
ΑZ
Т-34 85
его отравили Новичком уже в Германии!!! В Омске же не обнаружили ядов!
ну так в германии, потому что гейропейцы пытаются россиюшку очернить
ΑZ
не будь лохом, не развешивай уши
Т8
ну так в германии, потому что гейропейцы пытаются россиюшку очернить
ну, это ж и Нику понятно!
ΑZ
Т.е. не изменится, мы не можем писать код абстрагируясь от конкретной монады.
ну если вшить систему эффектов в язык и писать не аутпуте а рядом, то получится такой вот MTL костыльный эмбиент
ΑZ
так что писать будет можно
ΑZ
прост непонятно зачем в язык вшивать то что можно просто типами и либами сделать
CD
ты можешь хоть каждую монаду в "свой тип" отнести, мысла в этом я правда вижу мало
вряд ли плюсы ошибаются в этом вопросе, это такая закономерность :)
CD
множество операций явно различается, но непонятно, какое из них было определяющее, а какое - вторичное
CD
Result может быть снята, IO - нет
ΑZ
Result может быть снята, IO - нет
ну то есть ты про протекание монад
ΑZ
да, я тоже обратил внимание, спроси в блахе если интересно