Câu hỏi được gắn thẻ «idris»

2
Sự khác biệt giữa Agda và Idris
Tôi bắt đầu đi sâu vào lập trình phụ thuộc và nhận thấy rằng ngôn ngữ Agda và Idris là gần nhất với Haskell, vì vậy tôi bắt đầu từ đó. Câu hỏi của tôi là: sự khác biệt chính giữa chúng là gì? Là các hệ thống loại tương …
164 agda  type-theory  idris 
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.