МЕТОД ДЕКЛАРАТИВНОГО МЕТАПРОГРАМУВАННЯ НА ОСНОВІ РОЗШИРЕННЯ СИНТАКСИСУ ІСНУЮЧИХ МОВ ПРОГРАМУВАННЯ

MEASURING AND COMPUTING DEVICES IN TECHNOLOGICAL PROCESSES Pub Date : 2022-09-30 DOI:10.31891/2219-9365-2022-71-3-1

Павло Ставицький, Вікторія Войтко

{"title":"МЕТОД ДЕКЛАРАТИВНОГО МЕТАПРОГРАМУВАННЯ НА ОСНОВІ РОЗШИРЕННЯ СИНТАКСИСУ ІСНУЮЧИХ МОВ ПРОГРАМУВАННЯ","authors":"Павло Ставицький, Вікторія Войтко","doi":"10.31891/2219-9365-2022-71-3-1","DOIUrl":null,"url":null,"abstract":"Розглянуто метод декларативного метапрограмування, який орієнтований на генеруввання коду. Метод базується на розширенні синтаксису розповсюджених мов програмування загального призначення. Розширення синтаксису доповнює оригінальний синтаксис мови, надаючи додатковий функціонал генерування коду за допомогою використання шаблонів. Шаблон містить точну структуру отриманого згенерованого коду, але дозволяє вказувати деталі для кожного згенерованого фрагмента. Метод додає нові елементи синтаксису, які дозволяють змінювати контексти під час написання програми, що генерує код. Зовнішній контекст виконується миттєво під час компіляції програми. Внутрішній контекст містить код шаблону, який буде згенеровано. Головне — забезпечити плавний перехід між двома контекстами, щоб код усередині кожного з них був написаний за допомогою однієї мови програмування. Метод забезпечує два типи генерування коду, а саме: миттєве та відкладене генерування. Перший створює згенерований код миттєво під час компіляції. Другий дозволяє генерувати код під час виконання програми. У цьому випадку він генерує проміжне подання шаблону у вигляді публічної функції, яку можна викликати під час виконання програми. Щоб забезпечити належний досвід використання такого підходу, важливо реалізувати інтеграцію з інтегрованим середовищем розробки, яке включає підсвічування коду та перевірку синтаксису. Крім того, коректна інтеграція може бути забезпечена шляхом розробки плагіна для систем збірки Bazel або Gradle.","PeriodicalId":128911,"journal":{"name":"MEASURING AND COMPUTING DEVICES IN TECHNOLOGICAL PROCESSES","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"MEASURING AND COMPUTING DEVICES IN TECHNOLOGICAL PROCESSES","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.31891/2219-9365-2022-71-3-1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

Розглянуто метод декларативного метапрограмування, який орієнтований на генеруввання коду. Метод базується на розширенні синтаксису розповсюджених мов програмування загального призначення. Розширення синтаксису доповнює оригінальний синтаксис мови, надаючи додатковий функціонал генерування коду за допомогою використання шаблонів. Шаблон містить точну структуру отриманого згенерованого коду, але дозволяє вказувати деталі для кожного згенерованого фрагмента. Метод додає нові елементи синтаксису, які дозволяють змінювати контексти під час написання програми, що генерує код. Зовнішній контекст виконується миттєво під час компіляції програми. Внутрішній контекст містить код шаблону, який буде згенеровано. Головне — забезпечити плавний перехід між двома контекстами, щоб код усередині кожного з них був написаний за допомогою однієї мови програмування. Метод забезпечує два типи генерування коду, а саме: миттєве та відкладене генерування. Перший створює згенерований код миттєво під час компіляції. Другий дозволяє генерувати код під час виконання програми. У цьому випадку він генерує проміжне подання шаблону у вигляді публічної функції, яку можна викликати під час виконання програми. Щоб забезпечити належний досвід використання такого підходу, важливо реалізувати інтеграцію з інтегрованим середовищем розробки, яке включає підсвічування коду та перевірку синтаксису. Крім того, коректна інтеграція може бути забезпечена шляхом розробки плагіна для систем збірки Bazel або Gradle.

查看原文本刊更多论文

本文探讨了以代码生成为重点的声明式元编程方法。该方法基于对通用编程语言语法的扩展。语法扩展通过使用模板提供额外的代码生成功能，对原始语言语法进行了补充。模板包含生成代码的确切结构，但允许你指定每个生成片段的细节。该方法添加了新的语法元素，允许您在编写生成代码的代码时更改上下文。外部上下文会在程序编译时立即执行。内部上下文包含将要生成的模板代码。最主要的是确保两个上下文之间的平稳过渡，以便每个上下文中的代码都使用相同的编程语言编写。该方法提供两种代码生成方式，即即时生成和延迟生成。第一种是在编译时即时生成代码。第二种允许在程序运行时生成代码。在这种情况下，它会以公共函数的形式生成模板的中间表示，可以在运行时调用。为确保使用这种方法时有良好的体验，必须与包含代码高亮显示和语法检查功能的集成开发环境实现集成。另外，也可以通过为 Bazel 或 Gradle 构建系统开发插件来实现适当的集成。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

MEASURING AND COMPUTING DEVICES IN TECHNOLOGICAL PROCESSES

自引率

0.00%

发文量