LoginRegistration
For instance: Humanities and Science University Journal
About consortium subscription Contacts
(812) 4095364 Non-commercial partnership
St. Petersburg
university
consortium

Articles

"The Scientific Opinion" № 1 (Psycho-pedagogical and Juridical sciences), 2015

Use of the FP programming language in teaching theoretical programming to IT students

I. A. Kudryavtseva
Price: 50 руб.
 The advantages of the FP programming language of J. Backus are revealed in the
paper in terms of training in theoretical programming. The author considers the main
substances of the FP language, features that the user’s functions should have and which are possessed by the primitive functions built in the FP language, and also draws an analogy between the functional forms of the FP language and built-in functions of the Haskell programming language. As a result, the author formulates provisions justifying the conceptuality of the FP language in the field of theoretical programming.
Key words: theoretical programming, mathematical model of the functional style
of programming, functional form (combinator), algebra of programmes for functional
programming systems, combinatorial library, operations of a cartesian closed category.
References
1. B’yankutstsi F., Uorden Sh. Pionery programmirovaniya. Dialogi s sozdatelyami sovremennykh yazykov
programmirovaniya. SPb.: Simvol-Plyus, 2011. 608 s.
2. Bekus Dzh. Algebra funktsional’nykh programm: myshlenie funktsional’nogo urovnya, lineynye
uravneniya i obobshchennye opredeleniya // Matematicheskaya logika v programmirovanii: sb. statey 1980–
1988 gg. M.: Mir, 1991. S. 8–57.
3. Bekus Dzh. Mozhno li osvobodit’ programmirovanie ot stilya fon-neymana? Funktsional’nyi stil’ i
sootvetstvuyushchaya algebra programm // Lektsii laureatov premii T’yuringa. M.: Mir, 1993. S. 84–158.
4. Kas’yanov V. N., Pottosin I. V. Metody postroeniya translyatorov. Novosibirsk: Nauka, 1986. 344 s.
5. Kirpichev E. Elementy funktsional’nykh yazykov // Praktika funktsional’nogo programmirovaniya.
2009. № 3. S. 83–194.
6. Fild A., Kharrison P. Funktsional’noe programmirovanie. M.: Mir, 1993. 637 s.
7. Backus J. Can programming be liberated from the von Neumann style? A functional style and its algebra
of programs // Comm. ACM, 21, 1978. № 8. Р. 613–641.
Price: 50 рублей
To order