На этой странице собраны материалы по курсу SICP в ЛИТМО (2008) и АФТУ (2009).
Видео лекций Абельсона и Сассмана
Лекции в АФТУ (2009)
Лекция 2: Язык Scheme. Рекурсия и итерация; Вывод интерпретатора на начальных примерах
Лекция 3: Абстрагирование шаблонов вычислений с помощью функций высшего порядка
Лекция 4: Составные данные и абстракция данных
Лекция 6: Символьные данные и Лекция 7: Язык rewrite rules
Лекция 8: Объекты с изменяемым состоянием и модель окружений
Лекции в ЛИТМО (2008)
Лекция 1: Основы лямбда-исчисления и лиспа; Итерация и рекурсия (.txt); Решения упражнений
Лекция 2: Функции высшего порядка и данные (.txt); Решения упражнений
Лекция 3: Язык картинок Хендерсона; Символьные данные (.txt); Исходники
Лекция 4 часть 1: Множественные представления для абстрактных данных; Обобщенные операции
Лекция 4 часть 2: Системы типов (начало)
Объекты с состоянием; Имитация цифровых схем
Монады Монада Arbitrary: Упрощенный QuickCheck на Haskell Монада статистических распределений: исходники на на Haskell
(c) 2008 Евгений Кирпичев. Некоторые права защищены. Все лекции размещены на основе Creative Commons Attribution-Noncommercial-Share Alike 3.0
Лекции в весьма значительной степени основаны на курсе Абельсона и Сассмана (см. выше).
Монады в итоге вошли в твой курс 2008? Как опыт омонаживания студентов? Думаю включать этот материал в свой курс. -- AndreyVlasovskikh