gadt

14Nhiệt

2Trả lời

Fundeps và GADTs: Khi nào kiểm tra loại có thể quyết định?

Tôi đã đọc một bài nghiên cứu về Haskell và cách HList được triển khai và tự hỏi khi nào các kỹ thuật được mô tả là và không thể giải quyết được cho trình kiểm tra kiểu. Ngoài ra, bởi vì bạn có thể là