Hacker News の投稿者が、物理世界における宣言型プログラミングとはどのようなものかを問う思考実験を共有しました。その前提は、SQL のようなソフトウェアでおなじみの考え方に基づいています。SQL では、ユーザーが望む結果を宣言し、実行エンジンがそれを生成する方法を見つけ出します。
物理的なアクチュエーターを使えなかったため、著者はこの概念をソフトウェアでモックアップしました。ユーザーは望む効果を示し、システムがそれを達成する方法を見つけ出します。例では、ユーザーがベルを鳴らしたいと考えており、クランクが手元にあります。システムは両者をつなぐ方法を特定します。障害物を加えると、裏で動作する制約ソルバーがそれを回避する道筋を見つけます。
著者は、このアプローチが興味深いと主張しています。意図した効果を生み出すために必要な仕組みをシステムに任せ、人々はより高い抽象度で問題を考えられるからです。
投稿では、この概念を広げるための反応、フィードバック、アイデアが求められていました。取得時点で 26 ポイントと 3 件のコメントを集めていました。
出典: Hacker News · 要約：HeadlinesBriefing