I. A. Kudryavtseva
Price: 50 руб.
The author describes the commutative diagrams construction technology of category theory in a point-free style. This style is one of the visual ways to present combinatory
algebra, which is an education part of the “Program algebra” sections on theoretical programming. Moreover, the most important outcome of the obtained methodological
results is the visual method of presenting functions in a point-free style in Haskell APL.
Keywords: function in a point-free style, function composition sections,
combinatory algebra, combinatory library, commutative diagram of category theory, uni fi cation, Haskell APL.
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 typi fi 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.
