Важность ленивых вычислений

Бен Битобор и Лиза П. Хакер расходятся во мнениях о важности ленивых вычислений для реализации конструкций вроде unless . Бен указывает, что при аппликативном порядке unless можно реализовать как особую форму. Лиза отвечает, что в таком случае unless будет просто синтаксисом, а не процедурой, которую можно использовать в сочетании с процедурами высших порядков. Проясните детали в обеих позициях. Покажите, как реализовать unless в виде производного выражения (вроде cond или let ), и приведите пример ситуации, когда имеет смысл, чтобы unless была процедурой, а не особой формой.

---