Vk
Кому должны?
Size: a a a
2021 February 24
M
С блоксхемами есть проблемы: они не имеют правил по написанию
а зачем нужны правила для визуального редактора? Для этого достаточно определиться лишь с сераилизацией
Vk
а зачем нужны правила для визуального редактора? Для этого достаточно определиться лишь с сераилизацией
Чтобы это было удобно для человека
AG
Кому должны?
теоркат это теория композициональности
AG
сейчас алгебраисты довольно бодро работают в эту сторону, придумали например диаграммный синтаксис для линейной алгебры, конечных автоматов и переходных графов сигналов
AG
и буквально недавно вышла работа про частичные теории
AR
Потому, что редактор кака :)
может и кака но с тех пор я не могу найти никаких генераторов R-схем. Например, если бы существовал под линуксом генератор R-схем с питона, я бы с ним поигрался (натравил бы на него portage и посмотрел что получится).
Vk
And Rey
может и кака но с тех пор я не могу найти никаких генераторов R-схем. Например, если бы существовал под линуксом генератор R-схем с питона, я бы с ним поигрался (натравил бы на него portage и посмотрел что получится).
А вот я как раз и собираюсь написать
AR
Круто!
Vk
Правда генератор кода из R-диаграмм
AG
генератор кода кстати пишется тривиально если соблюдены все ограничения на категорию - диаграммы просто отображаются в интерфейс типа https://www.haskell.org/arrows/
Vk
Там графическая часть важна
AR
генератор кода кстати пишется тривиально если соблюдены все ограничения на категорию - диаграммы просто отображаются в интерфейс типа https://www.haskell.org/arrows/
а обратное разве не проще?
AR
разве не проще сгенерить по готовому питону один в один диаграмму
AG
это не графический язык, а визуализатор получится
AG
другая задача
s
Всё забываю как следует потыкать.
AG
вот луна это хороший пример того что получится если делать без теоретического фундамента ага
AR
только оно переименовалось в Enso