最終更新日：2025/12/07
(computing theory) 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.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
Hindley-Milner type system
編集履歴（0）
元となった辞書の項目
Hindley-Milner type system
名詞
日本語の意味
計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。
（ plural ）
