HeadlinesBriefing HeadlinesBriefing.com

Unmögliche Maschinen: Deklarative Programmierung für die

Hacker News •
×

Ein Hacker-News-Nutzer hat ein Gedankenexperiment geteilt, das fragt, wie sich deklarative Programmierung für die physische Welt anfühlen könnte. Die Prämisse stützt sich auf eine aus der Software bekannte Idee, etwa SQL, bei der Nutzer das gewünschte Ergebnis deklarieren und die Ausführungsengine herausfindet, wie es erzeugt wird.

Ohne Zugang zu einem physischen Aktuator hat der Autor das Konzept in Software nachgebildet. Nutzer demonstrieren den gewünschten Effekt, und das System ermittelt, wie er erreicht werden kann. Im Beispiel möchte ein Nutzer eine Glocke läuten und hat eine Kurbel zur Verfügung. Das System findet einen Weg, beides zu verbinden. Werden Hindernisse hinzugefügt, findet ein im Hintergrund arbeitender Constraint-Solver einen Weg, sie zu umgehen.

Der Autor argumentiert, der Ansatz sei interessant, weil er es ermögliche, auf höherer Abstraktionsebene über Probleme nachzudenken, während das System die Mechanik übernimmt, die für den beabsichtigten Effekt nötig ist.

Der Beitrag lud zu Reaktionen, Feedback und Ideen zur Weiterentwicklung des Konzepts ein. Zum Zeitpunkt der Erfassung hatte er 26 Punkte und 3 Kommentare.

Quelle: Hacker News · Zusammengefasst von HeadlinesBriefing