Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет superhuman ([info]superhuman)
@ 2011-02-24 23:00:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
The Little Schemer / The Little Lisper

А вот это правильная классическая книга. Для меня, правда, слишком просто. Дебаг в уме и на бумаге для меня - давно прошедший этап. Было просто до предпоследней главы. Там ввели понятие applicative order y-combinator, и я понял, что рекурсия мне таки непонятна. Нужно будет подучить лямбда-счисление.

Последняя глава тоже не пошла, но интерпретаторы попробую изучать по другой книге Фридмана.

Плохо, что пропустили важную концепцию пар в начале. Списки определяются через пары (а также натуральные числа и всё на их основе), а не наоборот. Впрочем, это означает, что авторы считают, списки в начале преподавать педагогически корректней (более естественный способ восприятия результата). Далее оплошность исправляется с индуктивной арифметикой.

Структура, которую они вводят, на самом деле дерево, а не список!

Параллельное описание для Схемы и Лиспа похвально.

Не нравится введённая разница между описанным языком и практикой.

Диалогичная форма изложения = хорошо.

Ну, и вскоре примусь за The Seasoned Schemer. Должно быть более интересно.


(Добавить комментарий)


[info]ketmar
2011-03-01 20:12 (ссылка)
y-combinator никто не понимает, просто некоторые зазубрили код.

(Ответить)