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

Rất dễ để tìm trong nhiều sách giáo khoa các bằng chứng về giảm chủ đề và chuẩn hóa mạnh mẽ cho Hệ thống F, đôi khi, có những định nghĩa về Hệ thống F với các cặp, trong đó (t, r) là một thuật ngữ, không chỉ là mã …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Tôi có một ngôn ngữ trong đó các loại được bỏ hộp theo mặc định, với loại suy luận dựa trên Hindley Kẻ Milner. Tôi muốn thêm đa hình cấp cao hơn, chủ yếu để làm việc với các loại tồn tại. Tôi nghĩ rằng tôi hiểu cách kiểm tra …

10 type-theory  type-inference  polymorphism 

Câu hỏi như sau. Nói chung khi một có thời hạn như , chúng ta có thể loại bỏ các forall bằng cách áp dụng thuật ngữ này để một kiểu, như ví dụ ( Λ X . t ) [ T ] → t [ X : = T …

9 type-theory  polymorphism  type-inference