2
Thuật ngữ chính xác trong lý thuyết loại: loại, hàm tạo kiểu, loại / loại và giá trị
Trong một câu trả lời cho một câu hỏi trước đó , một cuộc tranh luận nhỏ đã bắt đầu về thuật ngữ chính xác cho các cấu trúc nhất định. Như tôi đã không tìm thấy một câu hỏi (trừ này hay rằng , đó không hẳn là điều …