К сожалению на английском, отсканированный текст в PDF: http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf

Сравнивается Lisp и Miranda.

В критике указывается, что авторы SICP зря вырали Lisp в частности из-за отсутствия в нем
— сопоставления с образцом
— синтакса близкого к математической нотации
— статической типизации и пользовательских типов
— ленивых вычислений

И дальше идет развернутое объяснение.


Дочитал где-то до 12-15-й страницы и не могу с критикой не согласиться