Lambda nodes

[Yobas]

для определения лямбд нужна сигнатура: function[RESERVED=RET_TYPE=PARAMS] RET_TYPE: anytype/container PARAMS: anytype/container with delimeter @

Примеры: function[anon=int=bool@string@float@GameObject^] - анонимная функция с возвращаемым значением int и 4 параметрами function[anon=string=array(int)@enum.TestEnum] - анонимная функция с возвращаемым значением string и 2 параметрами: array[int], enum.TestEnum function[anon=null=dict(string@float)@array(function_ref)] - анонимная функция без возвращаемого значения и с 2 параметрами: dict[string,float], function_ref function[anon=null] - функция без параметров и без возврата значения

Типы функций

Для гибкого распределения принадлежности функций в начале сигнатуры указывается тип функции. Для примера типы функций могут быть следующие:

• anon - локальная анонимная функция. Нужна для предикатов или локальных вычислений. Не получает контекст от основной точки входа (передача только через параметры).
• obj - объектная функция, вызываемая с объекта (работает как делегат в c#). Передает весь контекст точки входа. Включает обязательный параметр - ссылка на объект внутри себя:

  [[params,@context],{/*function_code*/}]

• event - событийная функция для подписки на eventhandler-ы. (контекст не передается, добавляется вызывающий объект первым параметром (автоматически)).
• eventlist - группа событий (контекст не передается, добавляется вызывающий объект первым параметром (автоматически)) Не допускает возвращаемых значений, так как может иметь несколько возвращаемых состояний

Передача объекта и определение типа

Функции типа: obj, event, eventlist имеют в себе ссылку на вызывающий объект. Нужно просто менять тип объекта с автоматическим обновлением сигнатуры. Варианты обновления типа объекта:

• typeset_out опция с логикой обновления сигнатуры
• параметр в ПКМ

Ссылки на функции и низкоуровневый вызов

Добавляется новый тип: function_ref для передачи функции с любым количеством параметров и возвращаемым значением. Для доступа и вызова анонимных ссылочных функций (полученных как function_ref) добавляются новые узлы:

• function_ref_context_get_param - получает void тип параметр функции по индексу. Не выполняет ranged-проверок на доступ к аргументу.
• function_ref_createArgsStack - создание пустого стека для заполнения параметрами. (тип void)
• function_ref_addArgToStack - добавление параметра в стек. Данные любого типа упаковываются в стек параметров. (опция узла - runtimeports:1)
• function_ref_call - вызов абстрактной функции с параметрами. В нем сразу возвращается значение (при наличии) На вход поступает 2 порта (function_ref) ссылка на функцию и (void) стек параметров. На выходе возвращается (void). Так как заранее неизвестно чистая эта функция или нет - есть 2 вариации этой функции (с контролем выполнения и без)

Примечание: все низкоуровневые узлы лежат в директории Система.Низкоуровневые.Функции

[Yobas]

Логика лямбд (создание, подключение) готово. Теперь нужно настроить кодогенерацию для них

[Yobas]

Генератор готов

[Yobas]

Осталось:

• [ ] Скоупинг локальных функций (вместо именованных областей использовать exitWith) ...

[Yobas]

Реализовано

[Yobas]

Забыл... В объектных функциях (делегатах) не передается контекст. Впринципе пока нигде нет мест, где такие штуки могли бы пригодится, но доделать всё же стоит.