Pertanyaan yang diberi tag «agda»

Saya mulai terjun ke pemrograman yang diketik secara dependen dan telah menemukan bahwa bahasa Agda dan Idris adalah yang paling dekat dengan Haskell, jadi saya mulai di sana. Pertanyaan saya adalah: manakah perbedaan utama di antara mereka? Apakah sistem jenisnya sama-sama ekspresif pada keduanya? Alangkah baiknya memiliki komparatif yang komprehensif …

165 agda  type-theory  idris 

Saya baru-baru ini menyelesaikan kursus universitas yang menampilkan Haskell dan Agda (bahasa pemrograman fungsional jenis dependen), dan bertanya-tanya apakah mungkin untuk mengganti kalkulus lambda dengan logika kombinatori. Dengan Haskell ini tampaknya mungkin menggunakan kombinator S dan K, sehingga membuatnya bebas poin. Saya bertanya-tanya apa padanannya untuk Agda. Yaitu, dapatkah seseorang …

87 haskell  types  functional-programming  logic  agda