Last Updated：2025/12/07

Dictionary quizzes to help you remember the meaning

Dictionary quizzes to help you remember the meaning

Hindley-Milner type system

Edit Histories（0）

Source Word

Hindley-Milner type system

Noun

(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.

Japanese Meaning

計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。

What is this buttons?

Students learning functional programming often encounter the Hindley-Milner type system when studying type inference.

Google Translation / DeepL Translation

関数型プログラミングを学ぶ学生は、型推論を学ぶ際に、ラムダ計算のための古典的な型システムでパラメトリック多相性を備え、完全性で知られ、プログラマが型注釈を与えなくても与えられたプログラムの最も一般的な型を推論できるものによく出会います。

Sense（1）

(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 systems

（ plural ）

Login / Sign up

　

Download the app!

DiQt

Free

★★★★★★★★★★