ЭФ>>2009, Simon Marlow & Simon Peyton Jones & Satnam Singh, Runtime Support for Multicore Haskell
S> Лямбды есть во многих языках. Чистота чего? do конструкции?
S> Насколько я знаю распараллеливание там идет за счет иммутабельности.
S> Или я не прав?

Внутри себя я убеждён, что ты неправ. Поддержка от рантайма и компилятора — это не "просто иммутабельность".

S> Нормальным языком нельзя сказать?

Мне слабо́ (нехватает квалификации, надо много читать, долго думать и сформировать объяснение).
Жду помощь зала.