6Nhiệt
2Trả lời
Function mà quát mất một kiểu và trả về cùng loại
13Nhiệt
1Trả lời
Kết hợp mẫu trong Lý thuyết loại quan sát
5Nhiệt
2Trả lời
f #: mã hóa ngay cả và lẻ trong các loại (quy nạp)?
5Nhiệt
2Trả lời
Có thể định nghĩa kiểu đệ quy trong Common Lisp không?
17Nhiệt
2Trả lời
Có loại chữ ký nào mà Haskell không thể xác minh không?
5Nhiệt
1Trả lời
Các loại bị xóa trước thời gian chạy
20Nhiệt
2Trả lời
Sự khác biệt giữa các thông số loại và chỉ mục?
9Nhiệt
2Trả lời
Làm thế nào để mổ xẻ một SNAT (độc thân)
12Nhiệt
2Trả lời
Tôi có thể triển khai loại mới này làm thành phần của các loại khác không?
7Nhiệt
1Trả lời
Đây có phải là sự tổng quát có ý nghĩa về `quét` cho các ADT tùy ý không?