Preview

Труды Института системного программирования РАН

Расширенный поиск

Чистая компиляция как парадигма программирования

https://doi.org/10.15514/ISPRAS-2018-30(2)-1

Аннотация

В научной литературе широко представлено исследование возможностей интерпретируемого выполнения компьютерных программ. При этом противоположный подход, основанный на элиминации любых проявлений интерпретируемости, насколько можно судить, никем всерьез не исследовался. В настоящей статье рассматривается подход, предполагающий отделение всего происходящего во время исполнения программы от инструментов, использующихся программистом при ее написании, и намечается путь к построению универсального (равно пригодного как для системных, так и для прикладных задач) языка программирования.

Об авторах

А. В. Столяров
Московский государственный университет имени М.В. Ломоносова
Россия


О. Г. Французов
Московский государственный университет имени М.В. Ломоносова
Россия


А. С. Аникина
Московский государственный университет имени М.В. Ломоносова
Россия


Список литературы

1. Malenfant J., Jacques M., Demers F.-N. A Tutorial on Behavioral Reflection and its Implementation. Proceedings of Reflection 96, 1997, pp. 1-20. Доступно по ссылке: http://www2.parc.com/csl/groups/sda/projects/reflection96/docs/malenfant/malenfant.pdf

2. Smith B. C. Procedural Reflection in Programming Languages. Submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy at the Massachusetts Institute of Technology, February 1982, 762 p. Доступно по ссылке: http://repository.readscheme.org/ftp/papers/bcsmith-thesis.pdf

3. McAllister N. Microsoft's Roslyn: Reinventing the compiler as we know it. IDG News Service. Дата обращения 20.10.2011 (online). Доступно по ссылке: https://www.infoworld.com/article/2621132/microsoft-net/microsoft-s-roslyn--reinventing-the-compiler-as-we-know-it.html

4. Limi A., Hathaway S. Monkey patch. Plone Foundation. Дата обращения 03.07.2008 (online). Доступно по ссылке: http://web.archive.org/web/20080604220320/http://plone.org/documentation/glossary/monkeypatch

5. Installation – Jekyll. Дата обращения 01.09.2017 (online). Доступно по ссылке: https://jekyllrb.com/docs/installation/

6. The Rust Language Tutorial (version 0.4). Дата обращения 30.04.2017 (online). Доступно по ссылке: https://static.rust-lang.org/doc/0.4/tutorial.html


Рецензия

Для цитирования:


Столяров А.В., Французов О.Г., Аникина А.С. Чистая компиляция как парадигма программирования. Труды Института системного программирования РАН. 2018;30(2):7-24. https://doi.org/10.15514/ISPRAS-2018-30(2)-1

For citation:


Stolyarov A.V., Frantsuzov O.G., Anikina A.S. Pure Compiled Execution as a Programming Paradigm. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(2):7-24. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(2)-1



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)