ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университетellibs-715Research ArticleСтатьиФормы для показа результатов сравнения языков программирования на примере диалектов языка LISPForms for Displaying the Results of Comparison of Programming Languages using the Example of Dialects of the Lisp LanguageГородняяЛидия ВасильевнаGorodnyayaLidia Vasiljevnagorod@iis.nsk.suИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукA. P. Ershov Institute of Informatics Systems of Siberian Branch of RAS2026040320262912459Copyright © Городняя Л.В., 20262026Городняя Л.В.Gorodnyaya L.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/715

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

This article focuses on developing forms for presenting the results of analyzing and comparing the characteristics of programming languages, systems, and paradigms. The proposed form is demonstrated through a comparison of the Lisp language, its most successful dialects (Scheme, Common Lisp, Racket, Clojure), and the functional programming paradigm across different levels of language and system definition. The form allows for a concise presentation of the inheritance of several features of the Lisp language and their evolution in its dialects, at the levels of concrete syntax, abstract semantics, and implementation pragmatics.

язык программированияLispSchemeCommon LispRacketClojureфункциональное программированиесравнение языков программированияконкретный синтаксисабстрактная семантикасистемная прагматикаprogramming languageLispSchemeCommon LispRacketClojurefunctional programmingcomparison of programming languagesconcrete syntaxabstract semanticsimplementation pragmaticsReferencesGorodnyaya 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.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.McCarthy J. Abrahams P. W., Edwards D. J. et al. LISP 1.5 Programming Manual. The MIT Press, Cambridge, 1963. 106 p.McCarthy J. Abrahams P. W., Edwards D. J. et al. LISP 1.5 Programming Manual. The MIT Press, Cambridge, 1963. 106 p.Kent R. Dybvig. The Scheme Programming Language. URL: https://www.scheme.com/tspl4/Kent R. Dybvig. The Scheme Programming Language. URL: https://www.scheme.com/tspl4/Graham P. ANSI Common Lisp. Prentice Hall, 1996. 432 p.Graham P. ANSI Common Lisp. Prentice Hall, 1996. 432 p.The Racket Reference. URL: https://docs.racket-lang.org/reference/The Racket Reference. URL: https://docs.racket-lang.org/reference/Clojure Programming. OReilly.com. Retrieved 2013-04-30. URL: https://cdn.oreillystatic.com/oreilly/booksamplers/9781449394707_sampler.pdfClojure Programming. OReilly.com. Retrieved 2013-04-30. URL: https://cdn.oreillystatic.com/oreilly/booksamplers/9781449394707_sampler.pdfOtt A. Vvedeniye v Clojure. URL: https://alexott.net/ru/clojure/clojure-intro/Ott A. Vvedeniye v Clojure. URL: https://alexott.net/ru/clojure/clojure-intro/Differences Clojure with other Lisps. URL: https://clojure.org/reference/lisps/Differences Clojure with other Lisps. URL: https://clojure.org/reference/lisps/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.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.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.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.Mitchell R.W. LISP 2 Specifications Proposal. Stanford Artificial Intelligence Laboratory Memo No. 21, Stanford, Calif., 1964.Mitchell R.W. LISP 2 Specifications Proposal. Stanford Artificial Intelligence Laboratory Memo No. 21, Stanford, Calif., 1964.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.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.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.308Landin 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.308Khenderson P. Funktsional'noye programmirovaniye. Primeneniye i realizatsiya = Functional Programming. M.: Mir, 1983. 349 p.Khenderson P. Funktsional'noye programmirovaniye. Primeneniye i realizatsiya = Functional Programming. M.: Mir, 1983. 349 p.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-2Henderson 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-2Michie 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 4265138Michie 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 4265138Strachey Christopher. Fundamental Concepts in Programming Languages // Higher-Order and Symbolic Computation. 2000. Vol. 13, No. 1–2. P. 11–49.Strachey Christopher. Fundamental Concepts in Programming Languages // Higher-Order and Symbolic Computation. 2000. Vol. 13, No. 1–2. P. 11–49.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.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.Dushkin R.V. Funktsional'noye programmirovaniye na yazyke Haskell / Gl. red. D.A. Movchan. M.: DMK Press, 2008. 544 p.Dushkin R.V. Funktsional'noye programmirovaniye na yazyke Haskell / Gl. red. D.A. Movchan. M.: DMK Press, 2008. 544 p.Ofitsial'nyy sayt yazyka Haskell. "O yazyke" URL: http://haskell.org/aboutHaskell.htmlOfitsial'nyy sayt yazyka Haskell. "O yazyke" URL: http://haskell.org/aboutHaskell.htmlFrom PLT Scheme to Racket. Racket-lang.org. Retrieved 2011-08-17. URL: https://docs.racket-lang.org/guide/intro.html Welcome to RacketFrom PLT Scheme to Racket. Racket-lang.org. Retrieved 2011-08-17. URL: https://docs.racket-lang.org/guide/intro.html Welcome to RacketGorodnyaya L.V. Lisp i yego dialekty. Novosibirsk, preprint, 2025. URL: https://www.iis.nsk.su/repository/gorod.14408Gorodnyaya L.V. Lisp i yego dialekty. Novosibirsk, preprint, 2025. URL: https://www.iis.nsk.su/repository/gorod.14408Gorodnyaya 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= mk9e9ot2mp144838343Gorodnyaya 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= mk9e9ot2mp144838343Gorodnyaya L.V. Sravneniye dialektov yazyka Lisp // Materialy konferentsii "Nauchnyy servis v seti Internet"б 2025. URL: https://keldysh.ru/abrau/2025/temp/17.pdfGorodnyaya L.V. Sravneniye dialektov yazyka Lisp // Materialy konferentsii "Nauchnyy servis v seti Internet"б 2025. URL: https://keldysh.ru/abrau/2025/temp/17.pdfArmed Bear Common Lisp (ABCL). URL: https://armedbear.common-lisp.dev/Armed Bear Common Lisp (ABCL). URL: https://armedbear.common-lisp.dev/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.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.Soshnikov D.V. Programmirovane na F#. M.: DMK Press, 2011. 192 p.Soshnikov D.V. Programmirovane na F#. M.: DMK Press, 2011. 192 p.

The authors declare that there are no conflicts of interest present.