1
Tại sao các loại đệ quy cần thiết làm nguyên thủy cho bằng chứng trong các hệ thống loại phụ thuộc?
Tôi còn khá mới với lý thuyết loại và lập trình phụ thuộc. Tôi đã nghiên cứu tính toán các công trình xây dựng (CoC) và các hệ thống loại thuần túy khác. Tôi đặc biệt quan tâm đến việc sử dụng nó như một đại diện trung gian bảo …