شارك أحد مستخدمي Hacker News تجربة فكرية تتساءل عن شكل البرمجة التصريحية عندما تُطبَّق على العالم المادي. ويستند الطرح إلى فكرة مألوفة من البرمجيات، مثل SQL، حيث يحدد المستخدمون النتيجة المطلوبة ويتولى محرك التنفيذ معرفة كيفية إنتاجها.
وبدون الوصول إلى مشغِّل مادي، قام الكاتب بنمذجة المفهوم برمجياً. يُظهر المستخدمون التأثير المطلوب، ويحدد النظام كيفية تحقيقه. وفي المثال، يريد المستخدم أن يقرع جرساً ويتوفر لديه مِقبض دوراني. يحدد النظام طريقة لربط الاثنين. وإذا أُضيفت عوائق، يجد محلل القيود الذي يعمل في الخلفية طريقة لتجاوزها.
ويرى الكاتب أن هذا النهج مثير للاهتمام لأنه يتيح للناس التفكير في المشكلات على مستوى أعلى من التجريد، تاركين للنظام مهمة تحديد الآليات اللازمة لإنتاج الأثر المقصود.
ودعت المشاركة إلى ردود الفعل والملاحظات والأفكار لتوسيع المفهوم. وعند رصدها كان لها 26 نقطة و3 تعليقات.
المصدر: Hacker News · لخّصه HeadlinesBriefing