Кто нибудь разбирался с языками в которых есть явные побочные эффекты и их вывод из кода?
Например, есть такие языки как:
Koka и
Eff.
Откровенно говоря на изучения всего этого нет времени. Но сама идея отделения чистых значений (pure values) от побочных эффектов (императива) интересная.
Если кто-то разбирался, просьба поделиться ощущениями, идеями и примерами.
ЗЫ
Да... Хаскель и монады не предлагать. С этим все ясно, но это как-то оверкильно и уныло.