Функциональное программирование

2024/2025

Учебный год

RUS

Обучение ведется на русском языке

3

Кредиты

Кто читает:

Базовая кафедра группы компаний MERA (Нижний Новгород) (Факультет информатики, математики и компьютерных наук (Нижний Новгород))

Статус:

Курс обязательный

Когда читается:

3-й курс, 3 модуль

Преподаватель

Маслова Екатерина Александровна

Программа дисциплины

Аннотация

Настоящая дисциплина относится к профессиональному циклу, дисциплинам базовой части профиля. Для специализации «Распределенные системы» настоящая дисциплина является базовой. Изучение данной дисциплины базируется на знании курса “Сложность вычислений и логика в теоретической информатике”.

Цель освоения дисциплины

• Освоение теоретической базы функционального программирования (начала теории типов, лямбда-исчисление, начала теории категорий).
• Овладение техникой программирования на языке Haskell.

Планируемые результаты обучения

• Студент владеет общей информацией об императивном и функциональном стилях программирования, их сильных и слабых сторонах, умеет выбирать правильный стиль в зависимости от задачи.
• Студент знает теоретические основы функционального программирования (лямбда-исчисление, начала теории категорий и проч.).
• Студент разрабатывает новые библиотеки на языке Haskell.
• Студент решает задачи на программирование на языке Haskell.
• Студент создает код на функциональном языке, корректность которого формально доказана (верифицирована).

Содержание учебной дисциплины

• Типизованное лямбда-исчисление
• Нормализуемость и конфлюэнтность
• Императивное и функциональное программирование. Элементы функционального программирования в императивных языках
• Язык и среда разработки Haskell: установка и настройка
• Основы программирования на языке Haskell
• Типы данных в Haskell
• "Ленивые" и "ретивые" вычисления
• Монады и их использование для ввода-вывода
• Соответствие Карри - Говарда. Верификация программ и математических утверждений. Система Coq

Элементы контроля

• тест
  Тест состоит из 5 вопросов со множественным выбором ответа, за каждый вопрос начисляется 2 балла
• Домашнее задание
  Развернутый ответ на вопрос

Промежуточная аттестация

• 2024/2025 3rd module
  0.3 * Домашнее задание + 0.7 * тест

Список литературы

Рекомендуемая основная литература

• Barendregt, H., Dekkers, W., Statman, R. Lambda calculus with types. – Cambridge University Press, 2013. – 856 pp.

Рекомендуемая дополнительная литература

• Lipovaca M. Learn you a Haskell for great good!: a beginner's guide. – No Starch Press, 2011. – 404 pp.

Авторы

• Кузнецов Степан Львович