2022/2023

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

Статус: Маго-лего

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Когда читается: 2, 3 модуль

Охват аудитории: для своего кампуса

Преподаватели: Демаков Алексей Васильевич

Язык: русский

Кредиты: 8

Контактные часы: 40

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

Аннотация

В рамках курса будут исследованы возможности языков программирования, которые облегчают создание надежных программ. Будут рассмотрены основные аспекты языка функционального программирования Idris и его библиотек, в том числе относящиеся к тестированию и формальным доказательствам. Часть рассмотренных тем применима и к языку функционального программирования Haskell.