Формы для показа результатов сравнения языков программирования на примере диалектов языка LISP

Статья посвящена выработке форм для показа результатов анализа и сравнения особенностей языков, систем и парадигм программирования. Предлагаемая форма продемонстрирована на примере результатов сравнения языка Lisp, наиболее успешных его диалектов (Scheme, Common Lisp, Racket, Clojure) и парадигмы функционального программирования на разных уровнях определения языков и систем программирования. Форма позволила лаконично показать наследование ряда особенностей языка Lisp и их развитие в диалектах на уровне конкретного синтаксиса, абстрактной семантики и системной прагматики.

язык программирования, Lisp, Scheme, Common Lisp, Racket, Clojure, функциональное программирование, сравнение языков программирования, конкретный синтаксис, абстрактная семантика, системная прагматика

1. Gorodnyaya L.V. O predstavlenii rezul'tatov analiza yazykov i sistem programmirovaniya. Nauchnyy servis v seti Internet: trudy XX Vserossiyskoy nauchnoy konferentsii (17–22 sentyabrya 2018 g., g. Novorossiysk). M.: IPM im. M.V. Keldysha, 2018.

2. McCarthy J. Abrahams P. W., Edwards D. J. et al. LISP 1.5 Programming Manual. The MIT Press, Cambridge, 1963. 106 p.

3. Kent R. Dybvig. The Scheme Programming Language. URL: https://www.scheme.com/tspl4/

4. Graham P. ANSI Common Lisp. Prentice Hall, 1996. 432 p.

5. The Racket Reference. URL: https://docs.racket-lang.org/reference/

6. Clojure Programming. OReilly.com. Retrieved 2013-04-30. URL: https://cdn.oreillystatic.com/oreilly/booksamplers/9781449394707_sampler.pdf

7. Ott A. Vvedeniye v Clojure. URL: https://alexott.net/ru/clojure/clojure-intro/

8. Differences Clojure with other Lisps. URL: https://clojure.org/reference/lisps/

9. Backus J.W. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference // Proceedings of the International Conference on Information Processing. UNESCO. 1959. P. 125–132.

10. Backus J. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs // 1977 ACM Turing Award Lecture, p. 621–641.

11. Mitchell R.W. LISP 2 Specifications Proposal. Stanford Artificial Intelligence Laboratory Memo No. 21, Stanford, Calif., 1964.

12. Lavrov S.S., Silagadze G.S. Vkhodnoy yazyk i interpretator sistemy programmirovaniya na baze yazyka LISP dlya mashiny BESM-6. M.: ITM i VT AN SSSR, 1969.

13. Landin P.J. The Mechanical Evaluation of Expression // Comput. J. 1964. Vol. 6, No. 4. P. 308–320. https://doi.org/10.1093/comjnl/6.4.308

14. Khenderson P. Funktsional'noye programmirovaniye. Primeneniye i realizatsiya = Functional Programming. M.: Mir, 1983. 349 p.

15. Henderson P., Jones G.A., Jones S.B. The LispKit Manual. University of Oxford Computing Lab. 1983. URL: https://github.com/hanshuebner/secd/tree/master/lispkit/LKIT-2

16. Michie D. 'Memo' Functions and Machine Learning" (PDF). Nature. 1968. Vol. 218 (5136), P. 19–22. Bibcode:1968Natur.218...19M. URL: https://doi.org/10.1038/218019a0. S2CID 4265138

17. Strachey Christopher. Fundamental Concepts in Programming Languages // Higher-Order and Symbolic Computation. 2000. Vol. 13, No. 1–2. P. 11–49.

18. Henderson P., Morris JH. A lazy evaluator. Symposium ACM Sigact-Sigplan sur les principes des langages de programmation // DBLP, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages (POPL), 1976. P. 95–103.

19. Dushkin R.V. Funktsional'noye programmirovaniye na yazyke Haskell / Gl. red. D.A. Movchan. M.: DMK Press, 2008. 544 p.

20. Ofitsial'nyy sayt yazyka Haskell. "O yazyke" URL: http://haskell.org/aboutHaskell.html

21. From PLT Scheme to Racket. Racket-lang.org. Retrieved 2011-08-17. URL: https://docs.racket-lang.org/guide/intro.html Welcome to Racket

22. Gorodnyaya L.V. Lisp i yego dialekty. Novosibirsk, preprint, 2025. URL: https://www.iis.nsk.su/repository/gorod.14408

23. Gorodnyaya L.V. Formy dlya pokaza rezul'tatov sravneniya yazykov programmirovaniya na primere dialektov yazyka LISP. URL: www.iis.nsk.su/files/preprint/gorodnyaya-2025-forms_0.pdf?ysclid= mk9e9ot2mp144838343

24. Gorodnyaya L.V. Sravneniye dialektov yazyka Lisp // Materialy konferentsii "Nauchnyy servis v seti Internet"б 2025. URL: https://keldysh.ru/abrau/2025/temp/17.pdf

25. Armed Bear Common Lisp (ABCL). URL: https://armedbear.common-lisp.dev/

26. Yevstigneyev V.A., Gorodnyaya L.V., Gustokashina Yu.V. Yazyk funktsional'nogo programmirovaniya SISAL // v sb. «Intellektualizatsiya i kachestvo programmnogo obespecheniya». Novosibirsk, 1994. S. 21–42.

27. Soshnikov D.V. Programmirovane na F#. M.: DMK Press, 2011. 192 p.