?
Assessment of static type checking compliance of EOLANG
P. 4200–4206.
Vadim Piven, Zykov S. V.
The EOLANG programming language is a novel technology relying on formal phi-calculus similar to lambdacalculus
for functional programming languages, and on design choices declared as mitigating most weak points of
mainstream object-oriented programming languages. EO is under active development up to date and has some
obvious development vectors. One of these vectors is development of compilation time type checker. With dynamic
type checking provided by now, writing and testing programs in EO takes long and is vulnerable to bugs. In this
paper the assessment of static type checking compliance of EOLANG is performed. The results reveal serious weak
points in EOLANG implementation and theoretical basis making development of static type checker impossible.
In book
Vol. 207. , Amsterdam: Elsevier, 2022.
Косов П. В., Легалов А. И., Труды Института системного программирования РАН 2025 Т. 37 № 6 С. 43–58
Dynamic polymorphism is widely used in situations involving the identification and processing of alternatives during program execution. Dynamic polymorphism allows to flexibly expand programs without changing previously written code. It is widely used in statically typed object-oriented programming languages by combining inheritance and virtualization. The programming languages Go and Rust also provide support for dynamic ...
Added: November 21, 2025
Rogacheva O., М.: Издательский центр "Академия", 2025.
This textbook has been developed in accordance with the Federal State Educational Standards for Secondary Vocational Education and is intended for studying the professional module "Development of Software Modules for Computer Systems" (PM "Development of Software Modules").
The textbook explores the software development life cycle, its significance, stages, and methodologies such as Agile, Waterfall, and Scrum. ...
Added: September 23, 2025
Legalov, A.I., Bugayenko Y. G., Chuykin N.K. et al., Automatic Control and Computer Sciences 2023 Vol. 57 No. 7 P. 803–816
The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher level of abstraction, which does not allow direct manipulations with computer memory. Almost all application and domain-oriented programming ...
Added: February 27, 2024
Zykov S. V., Саратов: Профобразование, 2021.
В учебном пособии представлены основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Базовые аспекты профессионального программирования излагаются в сравнении языков «нового поколения» C# и SML на единой платформе Microsoft .NET, что дает возможность более глубоко проникнуть в суть процесса создания программных систем. Учебное ...
Added: June 5, 2023
Zykov S. V., Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021.
Учебное пособие является вводным курсом в объектно-ориентированное программирование и теоретический фундамент программирования. Оно охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Издание проиллюстрировано примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) ...
Added: June 5, 2023
Zykov S. V., Ай Пи Ар Медиа, 2022.
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Added: June 5, 2023
Zykov S. V., Юрайт, 2023.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Added: June 5, 2023
Dmitry Yakuba, Sergey Zykov, , in: Procedia Computer Science. Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES2022Vol. 207.: Amsterdam: Elsevier, 2022. P. 4328–4337.
Object-oriented programming (OOP) is one of the most popular paradigms used to build software systems.
However, there is currently no object-oriented programming language using the pure idea of OOP. The EO
programming language is an object-oriented language developed as a research solution, the purpose of which is to
show that industrial programming in pure OOP ideas is practically ...
Added: October 20, 2022
А. И. Легалов, Бугаенко Е. Г., Н. К. Чуйкин et al., Моделирование и анализ информационных систем 2022 Т. 29 № 3 С. 246–264
The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher level of abstraction, which doesn’t allow direct manipulations with computer memory. Almost all application and domain-oriented programming languages ...
Added: September 28, 2022
Saleh H., Attakorah J., Zykov S. V. et al., , in: Procedia Computer Science. Proceedings of the 25th International Conference KES2021: Knowledge-Based and Intelligent Information & Engineering SystemsVol. 192.: Elsevier, 2021. P. 4560–4569.
In recent times, the subject of interoperability has become very popular. In large-scale software applications development, it is a common practice to combine multiple languages in solving peculiar problems and developing robust solutions. The ability to combine multiple languages allows an easy migration of an existing project from one language to another or use existing ...
Added: February 4, 2022
Saleh H., Zykov S. V., Legalov A., , in: Intelligent Decision Technologies: Proceedings of the 13th KES-IDT 2021 ConferenceТ. 238.: Сингапур: Springer, 2021. P. 355–363.
Object-oriented programming (OOP) is one of the most common programming paradigms used for building software systems. However, despite its industrial and academic value, OOP is criticized for its high complexity, low maintainability and lack of rigorous principles. Eolang (a.k.a. EO) was created to solve the above problems by restricting its features and suggesting a formal ...
Added: August 5, 2021
Bugayenko Y., Zykov S. V., , in: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES2020Vol. 176.: Elsevier, 2020. P. 1868–1872.
According to the subjective opinions of many industry experts, object immutability is a virtue in object-oriented programming, since it leads to side-effect-free design, cleaner code, better concurrency, and many other factors. However, it has never been empirically demonstrated exactly how immutability affects quality metrics of object-oriented programs. In the following research, we analyzed 97508 classes from 240 public ...
Added: November 21, 2020
NY: Association for Computing Machinery (ACM), 2020.
Welcome to PLDI 2020, the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. We originally planned to hold the conference in London, United Kingdom, June 15-20. But due to the worldwide outbreak of COVID-19, this year's meeting is being held virtually instead. The table of contents in the proceedings reflects our original organization ...
Added: August 19, 2020
Silakov D., Shved P., , in: Proceedings of the Third Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2009).: M.: -, 2009. P. 17–26.
A shared library is a file that contains library code and data in binary form. Application built against the library references the data via symbols and the contents of what’s being referenced get known only during the application startup. Library is shipped with header file(s) the program is compiled with. The problem of the binary ...
Added: September 30, 2015
Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2015.
The proceedings consist of papers which cover the topics of design work, implementation and maintenance of object systems, considering a broad range of problems. ...
Added: June 12, 2015
Salibekyan S. M., Белоусов А. Ю., В кн.: Объектные системы – 2014 (Зимняя сессия): материалы IX Международной научно- практической конференции (Ростов-на-Дону, 10-12 декабря 2014 г.).: Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2014. С. 70–76.
В статье приведены принципы организации сетевой (графовой) СУБД, построенной по объектно-атрибутному (ОА) принципу организации вычислений и структур данных. Приведено сравнение данного принципа с объектно-ориентированным (ОО) принципом оргнаизации БД. Показано, чтоы ОА-принцип дублирует все возможности для организации данных в ОО-модели СУБД, а таже дает возможнсти дополнительные: организацию сетевой (а не древовидной, как в ОО) модели данных, ...
Added: March 23, 2015
Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2014.
The proceedings consist of papers which cover the topics of design work, implementation and maintenance of object systems, considering a broad range of problems. ...
Added: March 23, 2015