Давно хотел спросить, а как классифицируются виды лени? Я так понимаю, есть разные виды лени. Например, в некоторых лиспах мы подаем аргументом некий символ, он не вычисляется, а затем, в теле функции мы его эвалим (если надо). Это фекспры. В макросах похожий механизм. А вот в хаскелях по другому. Там в теле функции можно получить только значение символа, или выражения, но не само имя. То-есть, несмотря на то, что аргумент не вычисляется изначально, получить мы его можем только по значению, придет он уже вычисленный, если понадобится.
Как это все классифицировать «по научному»?
