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

S>Здравствуйте, MadHuman, Вы писали:

MH>>Хотя с точки зрения строителей компиляторов/ран-таймов чистый функционализм (без мутабельности и присваиваний) конечно хорошо, так как позволяет делать много крутых оптимизаций.

S>Например? Вроде единственное что позволяет делать иммутабельность — это раскидывать исполнение по потокам не боясь побочных эффектов.
например определять что в разных частях одно и тоже подвыражение и оставлять только одно его вычисление.
более мощные возможности по упрощению выражений.
как-то где-то на MS research попадалась статья об оптимизациях в компилятора Haskell-я, там много всего интересного было. но ссылку сейчас не вспомню.