AG
вообще если кому интересно это направление, рекомендую начать с https://graphicallinearalgebra.net/, и дальше смотреть на работы Sobocinski и Piedeleu
Size: a a a
2021 February 24
2021 February 25
T1
А есть тут желающие поработать?
Конкретно с чем?
AT
Глянул я на R-схемы и как по мне data flow programming или даже блок-схемы и то понятнее.
+1 По сравнению с тем же NoFlo как-то не фонтан...
AT
ну оно же очень ограниченное, ни рекурсии, ни эффектов
В каком смысле эффектов нет? В смысле контроля эффектов нет?
AT
вот луна это хороший пример того что получится если делать без теоретического фундамента ага
Не знаю насчёт фундамента, но "сверху" систему типов (с зав. типами, по слухам) они накручивают. Ждёмс результатов. 😊
ДК
Dmitry Ponyatov
например в JS есть объекты, в которые можно добавить возможность упорядоченного хранения подобъектов
потом берём 4 главу SICP, и применяем подходы Лиспа с
{ value: 'scalar', nest:[] }
аналогичный базовый Object пишется на Python в два пукапотом берём 4 главу SICP, и применяем подходы Лиспа с
eval/apply, но применяем их не к спискам, а к таким объектамА смысл? можно же и одними списками обойтись, как в том же лиспе.
PS
+1 По сравнению с тем же NoFlo как-то не фонтан...
Не знаю, что за R-схемы, но на советские Р-схемы даже ГОСТ имеется :)
Vk
Не знаю, что за R-схемы, но на советские Р-схемы даже ГОСТ имеется :)
Вот это они
PS
А с «фундаментом» смешно и грустно, как одни алгебраисты в упор других не видят. Почему одни вещи модны в тусовке, а другие — нет, это загадка.
PS
Вот это они
Я думаю, старшее поколение здесь с ними хорошо знакомо и кто-то даже в качестве темы курсовой предлагал студентам :)
AT
Не знаю, что за R-схемы, но на советские Р-схемы даже ГОСТ имеется :)
Это делает их нагляднее и удобнее? 😊
AT
А с «фундаментом» смешно и грустно, как одни алгебраисты в упор других не видят. Почему одни вещи модны в тусовке, а другие — нет, это загадка.
Это которые каких других в упор не видят? Раскройте интригу! 😉
AT
Кстаати, у меня назревает такой вопрос (для собственного развития): есть ли какие-то работы по языкам или DSL для удобного описания преобразований графов?
Смысл: если мы имеем такой язык/DSL, то, вероятно, можно будет удобнее описывать применение оптимизаций к коду.
Смысл: если мы имеем такой язык/DSL, то, вероятно, можно будет удобнее описывать применение оптимизаций к коду.
Посмотрите статьи про Spoofax и вокруг, например. Может, что-то приглянется?
PS
Вот в Spoofax тех самых графов нет для оптимизации. Впрочем, пусть автор вопроса уточнит, что бы ему хотелось :)
PS
Это делает их нагляднее и удобнее? 😊
По сравнению с UML каким-нибудь? Не думаю. Но они лучше блок-схем или, упаси Боже, дракона-на-котором-написан-буран :)
PS
Это которые каких других в упор не видят? Раскройте интригу! 😉
Да тот же Faust, который в своей нише, на мой взгляд, успешнее и практичнее многого из вышеперечисленного :)
AT
По сравнению с UML каким-нибудь? Не думаю. Но они лучше блок-схем или, упаси Боже, дракона-на-котором-написан-буран :)
Ну, я сравниваю с теми же NoFlo и Enso (ex Luna). Зачем нужны новые инструменты, хуже этих существующих?
PS
Ну, я сравниваю с теми же NoFlo и Enso (ex Luna). Зачем нужны новые инструменты, хуже этих существующих?
Я, честно говоря, вообще не понял этой новой моды пытаться делать из визуальных-графовых языков языки общего назначения. Зачем мне NoFlo, если мне нужен Pd? :)
AT
Я, честно говоря, вообще не понял этой новой моды пытаться делать из визуальных-графовых языков языки общего назначения. Зачем мне NoFlo, если мне нужен Pd? :)
Так называемая "демократизация программирования". Что на самом деле штука хорошая и полезная, просто пока что ещё не получилось. Ну и не факт, что именно графические нотации её воплотят, или именно такие графические нотации.
AT
Ну а в известных предметных областях "графические языки" отлично работают — там нечего принципиально улучшать, поэтому "ломятся" в "общее назначение". 😊