9 мая 2023 · Комментарий

Без заголовка

p2004r · Оригинал в ЖЖ ↗ · Ссылка на запись

Ну почему нет? Вот у механиков — совершенно конкретный "DSL" из которого они и собирают свои механизмы "на кинетическом уровне". Так же и у кучи других "достаточно зрелых". Например железячник рисует в каком грасхопере свою железку параметрически.

А то что "организаторы" ничего себе не придумали (или скорее "не договорились"), так это совсем другое. В случае DSL речь даже не о масштабируемости на уровне самого DSL, а "о стекировании DSL". DSL оперирующий понятиями нижележащего DSL (даже нескольких). На неком "достаточно высоком уровне" все может вполне свестись к одним и тем же "паттернам описания" (как у тех же "механиков").

PS

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