• Язык
 

Введение в теорию программирования. Функциональный подход

Аннотация

Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

Содержание

Выходные данные 3
Лекция 0. Вступительная лекция 4
Лекция 1. Классификация языков программирования 12
Лекция 2. Концепция и возможности подхода .NET 22
Лекция 3. Функциональный подход к программированию 32
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования 40
Лекция 5. Базисные типы и стандартные функции языка SML 49
Лекция 6. Комбинаторная логика как формальная система 55
Лекция 7. Теория типов и комбинаторная логика 64
Лекция 8. Функции SML для основных комбинаторов 76
Лекция 9. Синтаксис языков программирования 79
Лекция 10. Семантика языков программирования 91
Лекция 11. Функции для синтаксического разбора простых языковых конструкций 102
Лекция 12. Рекурсивные функции и множества 105
Лекция 13. Рекурсивные вычисления 114
Лекция 14. Абстрактные машины и категориальная комбинаторная логика 117
Лекция 15. Категориальная абстрактная машина 126
Лекция 16. Оптимизация вычислений и абстрактные машины 136
Лекция 17. Реализация категориальной абстрактной машины 146
Список литературы 148

Рекомендации материалов по теме: нет