不可能的机器：面向物理世界的声明式编程

一位 Hacker News 用户分享了一个思想实验，探讨声明式编程在物理世界中可能呈现的样子。这一设想借鉴了软件领域的熟悉理念，例如 SQL：用户声明想要的结果，执行引擎则负责找出实现方式。

由于无法获得物理执行器，作者在软件中模拟了这一概念。用户演示所需的效果，系统则推算如何实现。在示例中，用户想敲响一个铃铛，手边有一个摇柄。系统找出了将两者连接起来的方法。若加入障碍物，幕后的约束求解器便会找到绕过它们的路径。

作者认为这一方法很有意思，因为它让人们能够以更高的抽象层次思考问题，而将实现预期效果所需的机械细节交由系统去解决。

该帖子征集了反馈、意见以及扩展该概念的想法。在抓取时，帖子获得了 26 个赞和 3 条评论。