Пытаясь обобщить свои знания о лямбда-исчислении, я понял, что хорошо знаком с вызовом по значению, но никогда не видел семантики сокращения вызова по необходимости. Я знаю определение, но было бы здорово увидеть точное значение. Вот что у меня...