История изменений
Исправление
dave,
(текущая версия)
:
Я имел в виду только то, что сказал: что если есть гарантия чистоты, вычисления можно легко распараллелить или применить какие-нибудь сильные оптимизации, изменяющие порядок вычислений.
Никакой конкретный язык не предполагался, у вас СПГС.
Ну, я так и думал.
Проблема в том, что если язык гарантирует чистоту, то ему уже желательна ленивость (не охота распинаться на эту тему).
Исходная версия
dave,
:
Я имел в виду только то, что сказал: что если есть гарантия чистоты, вычисления можно легко распараллелить или применить какие-нибудь сильные оптимизации, изменяющие порядок вычислений.
Никакой конкретный язык не предполагался, у вас СПГС.
Ну, я так и думал.