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

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 

Gần đây tôi đã hoàn thành một khóa học đại học có sử dụng Haskell và Agda (một ngôn ngữ lập trình hàm được đánh máy phụ thuộc) và đang tự hỏi liệu có thể thay thế phép tính lambda trong các phép tính này bằng logic tổ hợp hay …

87 haskell  types  functional-programming  logic  agda