Hindley-Milner type system
danh từ (noun)
Nghĩa chính
- Hệ thống kiểu cổ điển dành cho phép tính lambda với tính đa hình tham số, đáng chú ý vì tính hoàn chỉnh và khả năng suy ra kiểu tổng quát nhất của một chương trình nhất định mà không cần chú thích kiểu do lập trình viên cung cấp hoặc các gợi ý khácdanh từA classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.
Dạng từ (word form)
theo quy tắc (regular)- Hindley-Milner type systemDạng gốc (base form)
- Hindley-Milner type systemsSố nhiều (plural)