Кто нибудь разбирался с языками в которых есть явные побочные эффекты и их вывод из кода?

Например, есть такие языки как: Koka и Eff.

Откровенно говоря на изучения всего этого нет времени. Но сама идея отделения чистых значений (pure values) от побочных эффектов (императива).

Если кто-то разбирался, просьба поделиться ощущениями, идеями и примерами.

Кто нибудь разбирался с языками в которых есть явные побочные эффекты и их вывод из кода?

Например, есть такие языки как: Koka и Eff.

Откровенно говоря на изучения всего этого нет времени. Но сама идея отделения чистых значений (pure values) от побочных эффектов (императива).

Если кто-то разбирался, просьба поделиться ощущениями, идеями и примерами.

ЗЫ

Да... Хаскель и монады не предлагать. С этим все ясно, но это как-то оверкильно и уныло.