Functional Programming

2022/2023

Academic Year

RUS

Instruction in Russian

8

ECTS credits

Category 'Best Course for Broadening Horizons and Diversity of Knowledge and Skills'

Category 'Best Course for New Knowledge and Skills'

Delivered at:

Joint Department with the RAS Institute for System Programming

Course type:

Compulsory course

When:

2 year, 2, 3 module

Instructor

Демаков Алексей Васильевич

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

Аннотация

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