Пользователь Hacker News поделился мысленным экспериментом о том, каким может быть декларативное программирование для физического мира. Основа идеи опирается на знакомую по программному обеспечению концепцию, например SQL, где пользователи объявляют желаемый результат, а механизм выполнения определяет, как его получить.
Поскольку физического исполнительного механизма у автора не было, он смоделировал концепцию программно. Пользователи демонстрируют желаемый эффект, а система определяет, как его достичь. В примере пользователь хочет позвонить в колокольчик, и у него есть рукоятка. Система находит способ соединить их. Если добавляются препятствия, работающий в фоновом режиме решатель ограничений находит обходной путь.
Автор считает этот подход интересным, поскольку он позволяет рассуждать о проблемах на более высоком уровне абстракции, оставляя системе задачу определить механику, необходимую для достижения нужного эффекта.
Публикация приглашала к обсуждению, откликам и идеям по развитию концепции. На момент сбора данных она набрала 26 баллов и 3 комментария.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing