И. А. Кудрявцева
Цена: 50 руб.
Автором делается попытка определить место эзотерических языков в процессе
обучения программированию и теоретическому программированию. В соответ-
ствии с выделенными взаимосвязанными элементами теоретического програм-
мирования (λ-исчисление, комбинаторная логика, теория типов языков програм-
мирования, теория категорий) отобраны эзотерические языки программирования,
которые активно поддерживают важные математические аспекты теоретического
программирования.
Ключевые слова: теоретическое программирование, эзотерические язы-
ки программирования, парадигма программирования, комбинаторная логика
λ-исчисление, исчисление комбинаторов, паттерн рекурсии.
Список литературы
1. Вольфенгаген В. Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. М.: АО «Центр ЮрИнфоР», 2003. 336 с.
2. Комлев Н. Г. Словарь иностранных слов. М.: Эксмо, 2006. 672 с.
3. Кудрявцева И. А. Методика обучения бакалавров физико-математического образования математическим основаниям парадигм программирования: автореф. дис. канд. пед. наук. СПб.: РГПУ им. А. И. Герцена, 2005. 20 с.
4. Сондерс М. Лингва эзотерика // LINUX Format. 2007. 3 (90). С. 42–45.
5. Тюгашев А. А. Языки программирования. СПб.: Питер, 2014. 336 с.
6. Харьковский З. Путеводитель автостопщика по потаенным знаниям // Компьютерра. 2005 (584).№ 12 (31 марта). С. 42–52.
