Câu hỏi được gắn thẻ «inference»

Tôi đã gặp thuật ngữ Hindley-Milner này và tôi không chắc có nắm bắt được ý nghĩa của nó không. Tôi đã đọc các bài viết sau: Steve Yegge - Ngôn ngữ động tấn công trở lại Steve Yegge - Vấn đề Pinocchio Daniel Spiewak - Hindley-Milner là gì? (và …

124 functional-programming  types  inference  hindley-milner 

câu hỏi của tôi hôm nay khá đơn giản: tại sao trình biên dịch không thể suy ra các tham số mẫu từ các hàm tạo lớp, nhiều như nó có thể làm từ các tham số hàm? Ví dụ: tại sao mã sau không thể hợp lệ: template<typename obj> …

102 c++  templates  parameters  inference