История изменений
Исправление a--, (текущая версия) :
IO – это настоящая монада. Все законы соблюдены.
Кроме ассоциативности. Поэтому она и не параллелится (хотя если внешний мир делится на части, типа запросов к разным сайтам с независимой защитой от DDOS, то можно и ее параллелить — только вот как ты это объяснишь компилятору, что вот тут IO можно параллелить, а тут — нельзя?)
Исходная версия a--, :
IO – это настоящая монада. Все законы соблюдены.
Кроме ассоциативности. Поэтому она и не параллелится (хотя если внешний мир делится на части, типа запросов к разным сайтам с независимой защитой от DDOS, то можно и ее параллелить)