Falang: Low-сode конструктор логики с экcпортом в C++, C#, Rust, Go, TypeScript

Полтора года назад я рассказывал про свой пет-проект по визуальному программированию — falang.io. Основная его особенность состоит в том, что пользователь не управляет расположением икон на схеме, только их содержимым. Все остальные соединительные линии рисуются автоматически алгоритмом по строгим правилам. В т.ч. continue, break, return.

На данный момент, помимо обычных текстовых диаграмм, у меня появился Low-code констркутор логики с упрощенной семантикой, который может экспортироваться в 5 современных языков программирования: C++, C#, Rust, Go, TypeScript.

TL;DR: Вот готовый пример с игрой «Змейка», запускающийся на микроконтроллере STM32 (Rust), и в браузере (TypeScript). Вся бизнес логика описана в Falang схемах, вручную только написано подключение к драйверам в случае STM32 и к Canvas в случае с браузером. Там же можно посмотреть все схемы, видео демонстрацию, и сгенерированный код.

Сразу хочу оговориться, что я не рассматриваю его как замену текстовому программированию. Хотите выжать максимум из своего языка — пишите текстом. Естественно, он генерирует не идеальный код. Это скорее способ конфигурирования системы и упрощенная возможность управления бизнес логикой для людей, далеких от программирования.

Конструктор логики позволяет полностью описать некоторую доменную область, и необходимые внешние API. Для этого сужествует три вида схем:

Структура объектов

Позволяет в простом виде описывать структуру объектов, используемых в приложении. Для каждого поля есть название и тип. Тип поля может быть скалярным значением (integer, float, string), массивом, и другим объектом. Для каждого языка генерируется свой вариант описания объектов. Например так это выглядит в Rust

pub struct GameState {   pub colors: crate::falang::State::Colors,   pub snake: crate::falang::State::Snake,   pub food: crate::falang::State::Point,   pub config: crate::falang::State::Config, }

А так в C++:

struct GameState {   Falang_State::Colors colors;   Falang_State::Snake snake;   Falang_State::Point food;   Falang_State::Config config; };

Внешнее API

Описывает внешнее API, которое вызывается из функций. Для внешнего кода генерируются интерфейсы, которые должны быть реализованы внешним кодом. Как и для объектов, для каждого языка свой вариант генерации интерфейсов. Например так для TypeScript:

export interface IDrawRectParams {   x: number;   y: number;   w: number;   h: number;   color: Color; } export interface IDrawCircleParams {   x: number;   y: number;   r: number;   color: Color; } export interface Drawing {   DrawRect (params: IDrawRectParams): Promise<void>;   DrawCircle (params: IDrawCircleParams): Promise<void>; }

А так для Go:

type IDrawRectParams struct {   X int32   Y int32   W int32   H int32   Color State.Color } type IDrawCircleParams struct {   X int32   Y int32   R int32   Color State.Color } type Drawing interface {   DrawRect(params IDrawRectParams) ;   DrawCircle(params IDrawCircleParams) ; }

Функция

В этом типе схем реализуется вся логика приложения. Отсюда можно вызывать внешние API, создавать объекты, описанные выше, и управлять ими. Из одной функции можно вызвать другую функцию. Прямо на схеме настраиваются параметры функции, и возвращаемое значение. Например так показанная выше схема генерируется в C#:

namespace Falang.isGameOver; public class IisGameOverParams {   public required Falang.State.GameState state { get; set; }   public required Falang.Global.FalangGlobal _falangGlobal { get; set; } } public class MethodClass {   public static bool isGameOver(IisGameOverParams _params)   {     var state = _params.state;     var _falangGlobal = _params._falangGlobal;     bool returnValue = false;     if (state.snake.dirX == 0 && state.snake.dirY == 0) {       return returnValue;     } else {       foreach (var item in state.snake.body) {         if (item.x == state.snake.x && item.y == state.snake.y) {           returnValue = (bool)true;           return returnValue;         } else {         }       }     }     return returnValue;   } }

Пример со змейкой

В качестве первого примера разработана игра «Змейка». Она адаптирована под запуск в браузере (TypeScript) и на отладочной плате STM32F429I-DISC1 (Rust). Вот так это выглядит вживую:

Вся бизнес логика описана в Falang схемах, вручную только написана только реализация подключения к драйверам в случае STM32 и к Canvas в случае с браузером. Все схемы для змейки можно посмотреть тут. Скачать проект и посмотреть сгенерированный код можно здесь.

Заключение

Приложение уже можно скачать для Windows, Linux и MacOS. В нем есть несколько тестовых примеров. Они используются в автотестах и гарантированно выводят одинаковый результат на всех экспортируемых языках.

На данный момент это всё далеко от какого-то готового продукта, скорее демонстрация возможностей и обкатка технологии. Одни из основных направлений, которые я рассматриваю для будущего — это диалоговые боты и автоматизаторы бизнес-процессов.

Если хотите следить за последними новостями проекта — подписывайтесь на телеграм канал.

Спасибо за внимание. Буду рад любым пожеланиям и предложениям.