И. А. Кудрявцева
Цена: 50 руб.
Автором проведен логико-семиотический анализ содержания одного из разделов
обучения теоретическому программированию «Бесточечный стиль программирования». В качестве предметного языка выбран функциональный язык программирования Haskell, который содержит подходящий набор операторов для написания функций в бесточечной форме записи и отображения их в терминах формальной системы λ-исчисления (как бестипового, так и типизированного). Таким образом, в рассматриваемом содержании демонстрируется взаимопроникновение дисциплин математики и программирования, что является неотъемлемой частью теоретического программирования.
Ключевые слова: логико-семиотический анализ, содержание обучения, бесточечный стиль программирования, просто типизированное λ-исчисление, язык программирования Haskell, спецификация программы, комбинаторная библиотека.
Список литературы
1. Грис Д. Наука программирования. М.: Мир, 1984. 416 с.
2. Кирпичев Е. Элементы функциональных языков // Практика функционального программирования. 2009. № 3. С. 83–194.
3. Кудрявцева И. А., Швецкий М. В. Элементы теоретического программирования: комбинаторная логика и теория типов. Часть I. СПб.: Издательство ЛЕМА, 2013. 488 с.
4. Лаптев В. В., Рыжова Н. И., Швецкий М. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки. СПб.: Изд-во С.-Петерб. ун-та, 2003. 352 с.
5. Москвин Д. Сечения композиции как инструмент бесточечного стиля // Практика функционального программирования. 2010. № 4. С. 89–105.
6. Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966. 555 с.
7. Хиндли Дж. Р. Комбинаторы и лямбда-исчисление. Краткий обзор/Математическая логика в программировании: Сб. статей 1980–1988 гг. М.: Мир, 1991. С. 119–140.
8. Backus J. Can programming be liberated from the von Neumann style? // Communications of the ACM, 1978, vol. 21, no. 8. Pp. 613–641.
