Статья
Стратегии вычисления: нормальный порядок, аппликативный, ленивость
Почему одно и то же лямбда-выражение может завершиться или зациклиться в зависимости от того, какой редекс вы сократили первым — и как из этого выросли строгие языки, …