И. А. Кудрявцева
Цена: 50 руб.
Статья посвящена вопросам обучения программированию в стиле оригами. Автор сформулировал определения терминов «программирование в стиле оригами»
и «программирование в стиле Haskell-оригами», опираясь на паттерны рекурсии,
в частности паттерны свертки. Вопросы обучения программированию в стиле
Haskell-оригами отражены в предварительных знаниях и умениях обучаемых,
графе содержания функционалам-сверткам и функционалам-разверткам и классификации типов задач, которые будет уметь решать обучаемый. Также приведены прагматические аспекты Haskell-оригами и указаны философские основания включения оригами-программирования в содержание обучения теоретическому программированию.
Ключевые слова: оригами, программирование, паттерн рекурсии, свертка, развертка, функционал.
Список литературы
1. Борзенков В. Г. Имеется ли будущее у редукции как основания научного знания? // Будущее фундаментальной науки: Концептуальные, философские и социальные аспекты проблемы. М.: КРАСАНД, 2011. С. 248–258.
2. Брагилевский В. Пределы выразительности сверток // Практика функционального программирования. 2010. № 4. С. 55–77.
3. Кирпичев Е. Р. Элементы функциональных языков // Практика функционального программирования. 2009. № 3. С. 83–197.
4. Комлев Н. Г. Словарь иностранных слов. М.: Эксмо, 2006. 672 с.
5. Мена А. Изучаем Haskell. СПб.: Питер, 2015. 464 с.
6. Энгельгардт В. А. Интегратизм — путь от простого к сложному в познании жизни // Философские проблемы биологии. М.: Наука, 1973. С. 12.
7. Bird R. Introduction to Functional Programming using Haskell. Prentice Hall Press, 1998. 434 р.
8. Bird R., Wadler P. Introduction to Functional Programming. Prentice Hall, 1988.
9. Dean J., Ghemawat S. MapReduce: simplified data processing on large clusters // In OSDI’04: Proceedings of the 6th conference on Symposium on Operating Systems Design and Implementation. 2004.
10. Freyd P. Algebraically complete categories // Proceedings of the 1990 Como Category Theory Conference, v. 1488 of Lecture Notes in Math. Springer-Verlag, 1990. Р. 95–104.
11. Gibbons J. Functional Pearls. The Third Homomorphism Theorem // J. Functional Programming. 1995. 1 (1), May.
12. Gibbons J. Origami programming // The Fun of Programming. Ed. J.Gibbons, O. de Moor. Palgrave, 2003. Р. 41–60.
13. Gibbons J., Jones G. The Under-Appreciated Unfold // Therd ACM SIGPLAN Int. Conf. on Functional Programming. Baltimore, 1998.
14. Hutton G. A tutorial on the universality and expressiveness of fold // J. Functional Programming. 1999. 9 (4), July. Р. 355–372.
15. Meijer E., Hutton G. Bananas in space: Extending fold and unfold to Exponential types // Proceedings of the 7th SIGPLAN-SIGARCH-WG2.8 Integnational Conference on Functional Programming and Computer Architecture. 1995. Р. 324–333.
16. Pope B. Getting a Fix from the Right Fold // The Monad Reader. 2007. 6. Р. 5–15.
