Автором описана технология построения коммутативных диаграмм теории категорий для функций в бесточечной форме записи. Данный способ является одним из визуальных способов представления алгебры комбинаторов, составляющий элемент обучения одного из разделов теоретического программирования "Алгебра программ". При этом важнейшим практическим следствием полученных методических результатов является визуальный способ представления функций в бесточечной форме записи в языке программирования Haskell.

Ключевые слова: функция в бесточечной форме записи, сечения композиции функций, алгебра комбинаторов, комбинаторная библиотека, коммутативная диаграмма теории категорий, унификация, язык программирования Haskell.

REFERENCES

1. Backus, J. Can programming be liberated from the von Neumann style?

Communications of the ACM, 1978, Vol. 21, No. 8, 613–641.

2. Geuvers, H. Introduction to Type Theory. 2008, Uruguay: Alfa Lernet summer

school.

3. Kirpichyov, E. Elements of the functional languages. Practice of the functional

programming, 2009, 3, 83–194.

4. Moskvin, D. Composition sections as the tool of point-free style. Practice of the

functional programming, 2010, 4, 89–105.

5. Moskvin, D. Properties of simply typifi ed system. 2011, retrieved December 1,

2014, from http://compsciclub.ru/node/1003.

6. Nepeivoda, N.N. Application logic. 1997, Izhevsk: Publishing House of Udmurt

University.

7. Pierce, B. Types and Programming Languages. 2012, Moscow: Lambda Press:

Dobrosvet.