История изменений
Исправление a--, (текущая версия) :
Потому что какое-нибудь IO например вообще нельзя трогать.
Когда я говорю о распараллеливании, то я называю монадой не то, что в хаскеле синтаксически укладывается в монаду, а именно то, что выполняет закон ассоциативности.
И тут у меня большие сомнения, что у IO он выполняется. Дело в том, что внешний мир не подчиняется нашей программе.
Т.е. у меня большие сомнения, что IO семантически — монада.
Исходная версия a--, :
Потому что какое-нибудь IO например вообще нельзя трогать.
Когда я говорю о распараллеливании, то я называю монадой не то, что в хаскеле синтаксически укладывается в монаду, а именно то, что выполняет закон ассоциативности.
И тут у меня большие сомнения, что у IO он выполняется. Дело в том, что внешний мир не подчиняется нашей программе.