Show HN：Impossible Machines——用声明式编程操控物理世界

Impossible Machines 是一个在软件中模拟的“物理世界声明式编程”概念原型：用户只需演示想要达成的效果，系统便自行寻找实现方式，例如把曲柄与铃铛连接起来，遇到障碍时由后台约束求解器绕开。作者因没有执行器而仅做了软件模拟，希望借此探讨在更高抽象层级上描述物理任务的可能性。