28Nhiệt
6Trả lời
Điều gì có nghĩa là nói loại được "đóng hộp"?
20Nhiệt
2Trả lời
Các giới hạn của suy luận kiểu là gì?
17Nhiệt
13Trả lời
Các giới hạn của hệ thống kiểm tra loại và loại là gì?
29Nhiệt
5Trả lời
Sự khác biệt giữa các loại tồn tại của Scala và ký tự đại diện của Java bằng ví dụ?
14Nhiệt
2Trả lời
Fundeps và GADTs: Khi nào kiểm tra loại có thể quyết định?