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

Tôi thề có một chiếc áo phông được rao bán với những từ bất hủ: Phần nào của bạn không hiểu à Trong trường hợp của tôi, câu trả lời sẽ là ... tất cả! Đặc biệt, tôi thường thấy ký hiệu như thế này trong các bài báo của …

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

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