Determinant adalah eksperimen tahap awal yang mengusulkan Bahasa Aplikasi yang Dapat Diaudit (AAL) sebagai lapisan deterministik antara generasi AI probabilistik dan perangkat lunak yang dapat dieksekusi. Sistem ini memungkinkan LLM menghasilkan AAL dari persyaratan bahasa alami, yang kemudian ditinjau manusia untuk memastikan kebenaran logika bisnis sebelum kompiler tradisional menghasilkan kode TypeScript.
- AAL berfokus pada dua konsep utama: Objek (menggambarkan keadaan aplikasi) dan Alur (menggambarkan perilaku), menghindari detail implementasi seperti kelas atau metode.
- Pipelining kompilasi mengubah AAL yang disetujui menjadi AST, melakukan pemeriksaan semantik dan pengikatan, serta menghasilkan TypeScript deterministik untuk Node.js tanpa keterlibatan lebih lanjut dari LLM.
- Fitur saat ini mencakup bidang bertipe, kondisi, kegagalan eksplisit, perhitungan, perubahan keadaan, komposisi alur, tipe mata uang, dan dukungan untuk dialek bahasa Inggris dan Mandarin.
- Proyek ini bertujuan mengurangi ruang lingkup ketidakpastian AI dengan memungkinkan manusia mengaudit deskripsi yang lebih kecil dan dapat dieksekusi daripada meninjau ribuan baris kode yang dihasilkan.
Penulis mencari umpan balik mengenai apakah batas tinjauan ini berguna secara praktis dan apakah AAL tetap dapat dibaca sambil mencakup perilaku aplikasi yang memadai.