Khi lặn sâu hơn vào Scala tôi nhấn cụm từ loại lớp. Nó đã gây nhầm lẫn bởi vì một lớp là một loại và một loại có thể là một lớp trong Scala và "loại" và "lớp" là trong chính nó thuật ngữ trừu tượng.Tại sao "loại lớp" được gọi là "loại lớp"?
Sau khi đọc một số ví dụ tôi có một cảm giác gì một lớp kiểu thể được, nhưng có lẽ đó là một cách tiếp cận dễ dàng hơn để có được một cái móc tinh thần (hình ảnh, khái niệm) với những gì một lớp loại là bằng cách giải thích tại sao nó có được đặt tên như thế.
Cảm ơn bạn, giờ đây [câu trả lời cho quy ước đặt tên loại lớp trong scala] (http://stackoverflow.com/questions/7084090/naming-convention-for-typeclasses-in-scala/7084305#7084305) làm cho nhiều ý nghĩa hơn :-) – Lutz
Hơn nữa, "loại các loại" đang sử dụng thuật ngữ gần bằng [ý nghĩa này] (http://en.wikipedia.org/wiki/Class_ (set_theory% 29). Trên thực tế, "UndecidableInstances" của GHC mở rộng làm cho nó rất có thể mã hóa * thích hợp * lớp học, và sau đó tiến hành, er, đối xử với họ như bộ. –