Seorang pengguna Hacker News membagikan eksperimen pemikiran yang menanyakan seperti apa pemrograman deklaratif untuk dunia fisik. Premisnya didasarkan pada gagasan yang familiar dari perangkat lunak, seperti SQL, di mana pengguna menyatakan hasil yang diinginkan dan mesin eksekusi mencari tahu cara menghasilkannya.
Karena tidak memiliki akses ke aktuator fisik, penulis memodelkan konsep ini dalam perangkat lunak. Pengguna mendemonstrasikan efek yang diinginkan, dan sistem mencari tahu cara mencapainya. Dalam contohnya, seorang pengguna ingin membunyikan lonceng dan memiliki engkol yang tersedia. Sistem mengidentifikasi cara untuk menghubungkan keduanya. Jika rintangan ditambahkan, sebuah constraint solver yang bekerja di balik layar menemukan jalan untuk mengatasinya.
Penulis berpendapat bahwa pendekatan ini menarik karena memungkinkan orang menalar masalah pada tingkat abstraksi yang lebih tinggi, sementara sistem yang menentukan mekanisme yang diperlukan untuk menghasilkan efek yang dimaksud.
Postingan tersebut mengundang reaksi, masukan, dan ide untuk mengembangkan konsep ini. Saat diambil, postingan ini memiliki 26 poin dan 3 komentar.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing