ВУЗ:
Составители:
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