Здравствуйте, palm mute, Вы писали:

PM>SPJ и другие на примере STM демонстрировали преимущества изоляции
PM>сайд-эффектов в монадах. Увидев твое сообщение, некоторые подумают —
PM>ерунда эти ваши монады, вон на Окамле STM без всяких монад сделали. Но,
PM>если приглядеться, можно заметить:
PM>1) сделали НЕ без монад
Дак тут уже не раз писалось, что монады ониж не только в Хаскеле могут появиться, так же как ООП на сях реализуемо (хотя и немного шаткая аналогия). Да и без монад можно обойтись, но умение разглядеть их в коде, имхо, даёт как минимум новую грань понимания происходящего.