![]() |
От: | Mr.Cat | |
Дата: | 29.05.09 12:16 | ||
Оценка: |
T>А действительно, почему бы и нет? Эффекты-то типами отделяют, так и с порядком вычислений можно сделать.On the Logical Basis of Evaluation Order and Pattern Matching
T>...the answer to the question of eager vs. lazy evaluation is encoded in types, rather than being a global property of the language.