Проблема SICP в том, что мы пытаемся его сувать всем подряд. Мы вообще склонны считать, что если человек не знает ФП, то он какой-то необразованный джун, а то и вовсе вчерашний студент, и начинаем его учить с толикой снисхождения. А между тем подавляющим большинством изучатели ФП пришли с уже готовым опытом, и являются вполне состоявшимися разработчиками. Зачем им пихать SICP, зачем вообще им советовать изучить какую-то CS-базу, если люди пришли за конкретной вещью - изучить ФП. Да им до лампочки эта ваша информатика, лямбда исчисление, теория категорий и теория типов. Да и для изучения ФП это все не нужно. Книгу Липовачи лучше им дать, ну или книгу Курта, и всё, пусть изучают Хаскель, сразу же, без всяких лирических отступлений.
В сикпе вроде 3 главы из 5 вообще про ООП, нет?