Un utilisateur de Hacker News a partagé une expérience de pensée qui s'interroge sur ce que pourrait être la programmation déclarative pour le monde physique. Le postulat s'appuie sur une idée familière du logiciel, comme SQL, où les utilisateurs déclarent le résultat souhaité et le moteur d'exécution détermine comment le produire.
Faute d'accès à un actionneur physique, l'auteur a maquetté le concept en logiciel. Les utilisateurs démontrent l'effet souhaité, et le système détermine comment l'obtenir. Dans l'exemple, un utilisateur veut faire sonner une cloche et dispose d'une manivelle. Le système identifie un moyen de relier les deux. Si des obstacles sont ajoutés, un solveur de contraintes fonctionnant en arrière-plan trouve un moyen de les contourner.
L'auteur soutient que cette approche est intéressante car elle permet de raisonner sur les problèmes à un niveau d'abstraction plus élevé, laissant au système le soin de déterminer la mécanique nécessaire à l'effet recherché.
La publication invitait à réagir, à faire des retours et à proposer des idées pour développer le concept. Au moment de la capture, elle comptait 26 points et 3 commentaires.
Source: Hacker News · Résumé par HeadlinesBriefing