sicp.io
KOENRU
Назад к курсу

Глава 4 · Металингвистическая абстракция

23 запускаемых урока, распределённых по 4 разделам оригинальной книги.

Начать

Раздел 4.1 · Метациклический вычислитель

10 уроков

  1. 4.1.1Ядро метациклического вычислителя eval и applyК уроку
  2. 4.1.2Специальные формы и выбор вычисляемогоК уроку
  3. 4.1.3Программа как данные для другой программыК уроку
  4. 4.1.4let как производная форма от lambdaК уроку
  5. 4.1.5Кадры, процедуры и списки аргументов вычислителяК уроку
  6. 4.1.6Окружение как отображение имен в значенияК уроку
  7. 4.1.7Запуск программы в вычислителе с общим окружениемК уроку
  8. 4.1.8Построение, преобразование и вычисление программыК уроку
  9. 4.1.9Явная локальная инициализация внутренних именК уроку
  10. 4.1.10Анализ выражения и повторный запуск планаК уроку

Раздел 4.2 · Вариации на тему Scheme: ленивые вычисления

4 урока

  1. 4.2.1Порядок вычислений и момент работы над аргументомК уроку
  2. 4.2.2Ленивый вычислитель и мемоизация thunkК уроку
  3. 4.2.3Thunk и запоминание отложенного значенияК уроку
  4. 4.2.4Ленивые списки на нестрогом consК уроку

Раздел 4.3 · Вариации на тему Scheme: недетерминированные вычисления

3 урока

  1. 4.3.1Недетерминированный поиск и множество успеховК уроку
  2. 4.3.2Вычислитель amb и продолжение неудачиК уроку
  3. 4.3.3Головоломки на amb с возвратом при неудачеК уроку

Раздел 4.4 · Логическое программирование

6 уроков

  1. 4.4.1Правило как цепочка меньших целейК уроку
  2. 4.4.2Конвейер запросов над потоком кадровК уроку
  3. 4.4.3Сопоставление с образцом и кадр связыванийК уроку
  4. 4.4.4Пределы логического программирования и замкнутый мирК уроку
  5. 4.4.5Рекурсивные правила и видимая граница поискаК уроку
  6. 4.4.6Унификация, переименование правил и бюджет глубиныК уроку

Проверка главы

Повторите ключевые идеи главы перед тем, как идти дальше.

Повторить