ВУЗ:
Составители:
6
Представление и интерпретация функциональных программ.
Абстрактная и конкретная формы программ. Проблема связывания
значений и переменных. Техника интерпретации функциональных про-
грамм.
Соответствие между функциональными и
императивными программами.
Особенности интерпретирования императивных программ. Функ-
циональные эквиваленты императивных программ. Преобразование им-
перативных программ в функциональные. Аппаратное обеспечение
функциональных программ.
Функциональный подход к параллелизму.
Задержка вычислений. Замедленные вычисления. Сети связанных
процессов.
Функции высших порядков
Типы функций и понятие высшего порядка функции. Композиция
функций. Примеры применения функций высшего порядка.
5. Лабораторный практикум.
№
п/
п
№ раздела
дисципли-
ны
Наименование лабораторных работ
К-во
ча-
сов
1 2, 4 Знакомство с компилятором императивного
языка Borland С++ 3.1 и создание простейших
программ.
4
2 3,4 Знакомство с компилятором функционального
языка Haskell 98 HUGS98. Разработка функ-
циональных программ для простейшей обра-
ботки списков и деревьев с использованием ре-
курсии.
10
3 4,5,6 Преобразование императивных программ в
функциональные с использованием языка С и
Haskell. Сравнительный анализ императивных
и функциональных программ.
12
4 3,8 Исследование и применение лямбда-
абстракций и функций высших порядков.
8
6. Курсовая работа
Представление и интерпретация функциональных программ.
Абстрактная и конкретная формы программ. Проблема связывания
значений и переменных. Техника интерпретации функциональных про-
грамм.
Соответствие между функциональными и
императивными программами.
Особенности интерпретирования императивных программ. Функ-
циональные эквиваленты императивных программ. Преобразование им-
перативных программ в функциональные. Аппаратное обеспечение
функциональных программ.
Функциональный подход к параллелизму.
Задержка вычислений. Замедленные вычисления. Сети связанных
процессов.
Функции высших порядков
Типы функций и понятие высшего порядка функции. Композиция
функций. Примеры применения функций высшего порядка.
5. Лабораторный практикум.
№ № раздела Наименование лабораторных работ К-во
п/ дисципли- ча-
п ны сов
1 2, 4 Знакомство с компилятором императивного 4
языка Borland С++ 3.1 и создание простейших
программ.
2 3,4 Знакомство с компилятором функционального 10
языка Haskell 98 HUGS98. Разработка функ-
циональных программ для простейшей обра-
ботки списков и деревьев с использованием ре-
курсии.
3 4,5,6 Преобразование императивных программ в 12
функциональные с использованием языка С и
Haskell. Сравнительный анализ императивных
и функциональных программ.
4 3,8 Исследование и применение лямбда- 8
абстракций и функций высших порядков.
6. Курсовая работа
6
