26Nhiệt
1Trả lời
được lập chỉ mục theo loại so với chứa loại trong idris
8Nhiệt
1Trả lời
Scala: sử dụng các thông số loại hoặc các loại trừu tượng as type tiếp giáp
5Nhiệt
2Trả lời
GHC: không thể suy ra thông số kiểu phantom
7Nhiệt
2Trả lời
Xác định các loại Phantom - không thể biên dịch các ví dụ