I. A. Kudryavtseva
Price: 50 руб.
The paper presents an attempt to define the place of esoteric languages in teaching
programming and theoretical programming. The author selects esoteric programming
languages, which actively support the important mathematical aspects of theoretical
programming, in accordance with the selected interrelated elements of theoretical
programming (λ-calculus, combinatory logic, theory of types of programming languages, theory of categories).
Key words: theoretical programming, esoteric programming languages, combinatorial
logic, λ-calculus, calculus of combinators, pattern of recursion.
References
1. Vol’fengagen V. E. Kombinatornaya logika v programmirovanii. Vychisleniya s ob’yektami v primerakh
i zadachakh. M.: AO «Tsentr YurInfoR», 2003. 336 s.
2. Komlev N. G. Slovar’ inostrannykh slov. M.: Eksmo, 2006. 672 s.
3. Kudryavtseva I. A. Metodika obucheniya bakalavrov fiziko-matematicheskogo obrazovaniya matematicheskim
osnovaniyam paradigm programmirovaniya: avtoref. dis. kand. ped. nauk. SPb.: RGPU
im. A. I. Gertsena, 2005. 20 s.
4. Sonders M. Lingva ezoterika // LINUX Format. 2007. 3 (90). S. 42–45.
5. Tyugashev A. A. Yazyki programmirovaniya. SPb.: Piter, 2014. 336 s.
6. Khar’kovskiy Z. Putevoditel’ avtostopshchika po potaennym znaniyam // Komp’yuterra. 2005 (584).
№ 12 (31 marta). S. 42–52.
