Search results- English - English

Keyword:

Hindley-Milner type system

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

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

Related Words

Hindley-Milner type systems

Noun
form-of plural
Japanese Meaning
ヒンドリー・ミルナー型システムの複数形
What is this buttons?

ヒンドリーとマイナーによって考案された多相型の型システムは、多くの関数型プログラミング言語で簡潔な型推論を可能にします。

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★