検索結果- 英語 - 英語

検索内容:

Milner

固有名詞

A surname originating as an occupation for a miller / An unincorporated community in Routt County, Colorado, United States. / A minor city in Lamar County, Georgia, United States.

日本語の意味

姓。元々は製粉職（小麦粉工）の職業名から由来する。 / アメリカ合衆国コロラド州ラウト郡の未編入地域。 / アメリカ合衆国ジョージア州ラマール郡の小都市。

このボタンはなに？

Milner inherited the old family mill and decided to modernize its operations.

Google翻訳 / DeepL翻訳

粉屋の姓を持つ彼は、先代の古い製粉所を受け継ぎ、その設備を近代化することに決めた。

詳細

Hindley-Milner type systems

名詞

活用形複数形

plural of Hindley-Milner type system

日本語の意味

ヒンドリー・ミルナー型システムの複数形

このボタンはなに？

Hindley-Milner type systems enable concise polymorphic type inference in many functional programming languages.

Google翻訳 / DeepL翻訳

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

詳細

Hindley-Milner type system

名詞

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

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細