Сам-то я чайник в функциональном мире, на самом деле. Монады меня интересовали в контексте философского вопроса о природе концепции времени. Насколько я понимаю, без монады IO Хаскель не имеет представления о времени вообще. Всё, что он порождает - это чисто статические математические объекты. С монадой IO вдруг откуда ни возьмись появляется время. Свойственно ли это только IO, или заложено в природе монад в целом?
no subject
Date: 2016-12-27 21:16 (UTC)