Структура и интерпретация компьютерный программ

Цель: показать что СИКП можно изучить на разных языках программирования.

Посыл: Lisp язык на котором можно писать как функционально, так и императивно. Основная структура данных в этом языке — это односвязный список. Список — это рекурсивная структура данных. Любой элемент может быть списком и содержать внутри себя элементы-списки. Текст программы на Lisp одновременно может рассматриваться как структура данных этого же языка.

Установка и использование:

1. make build - собрать образы
2. make up / make down - запустить/остановить контейнеры (если требуется)
3. make test-racket p=1/1.1/1.1.8/01.rkt - Запуск файла и тестов указанной директории
4. (#%require rackunit) (#%require (file "../../../functions/cube.rkt")) - Подключение модулей и файлов

Дополнительные материалы:

• Как читать книгу
• Документация к функциии check-equal

Racket

Функции:

• cube - возведение в куб

Структура книги СИКП

Глава 1. Построение абстракций с помощью процедур

• 1.1 Элементы программирования.
  • 1.1.1 Выражения
  • 1.1.2 Имена и окружение
  • 1.1.3 Вычисление комбинаций
  • 1.1.4 Составные процедуры
  • 1.1.5 Подстановочная модель применения процедуры
  • 1.1.6 Условные выражения и предикаты
  • 1.1.7 Пример: вычисление квадратного корня методом Ньютона
  • 1.1.8 Процедуры как абстракции типа "Черный ящик"
• 1.2 Процедуры и порождаемые ими процессы.
  • 1.2.1 Линейные рекурсия и итерация
  • 1.2.2 Древовидная рекурсия
  • 1.2.3 Порядки роста
• Решения упражнений.
  • 1.1 Последовательность выражений
  • 1.2 Префиксная форма
  • 1.3 Сумма квадратов двух больших чисел
  • 1.4 Как работает процедура
  • 1.5 Апликативный и нормальный порядки вычислений
  • 1.6 Процедура new-if
  • 1.7 Улучшенная версия вычисления квадратных корней better-sqrt
  • 1.8 Лучшее приближение методом Ньютона
  • 1.9 Сложение двух положительных целых чисел. рекурсия и итерация
  • 1.10 Функция Аккермана
  • 1.11 Функция f (рекурсивный и итеративный процесс, сравнение процессов)
  • 1.12 Треугольник паскаля
  • 1.13 Доказательство определения чисел Фибоначчи
  • 1.14 Нарисовать дерево, которое порождается процедурой count-change