“Typing（名前を持つ型の複数形（単数形は）とは - 英語 - 多言語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

“Typing

name-bearing types

活用形複数形

plural of name-bearing type

原形: name-bearing type

日本語の意味

"名前を持つ型" の複数形（単数形は「name-bearing type」）

英語の意味

plural of name-bearing type

このボタンはなに？

Researchers cataloged the name-bearing types in the collection to resolve taxonomic ambiguities.

研究者たちは分類学上の曖昧さを解消するために、コレクション内の名前を持つ型を目録に登録した。

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.

日本語の意味

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

英語の意味

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

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

関連語

Hindley-Milner type systems

（ plural ）

Hindley-Milner type systems

活用形複数形

plural of Hindley-Milner type system

原形: Hindley-Milner type system

日本語の意味

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

英語の意味

plural of Hindley-Milner type system

このボタンはなに？

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

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

name-based type systems

活用形複数形

plural of name-based type system

原形: name-based type system

日本語の意味

名前に基づく型システムの複数形。すなわち、名前を基準として型を識別する方式のシステム群を指す。

英語の意味

plural of name-based type system

このボタンはなに？

In our compiler course, students compared performance and usability trade-offs between name-based type systems and structural ones.

コンパイラの講義で、学生たちは名前に基づく型システムと構造的な型システムの間の性能と使いやすさのトレードオフを比較しました。

name-based type system

(software) Synonym of nominative type system

日本語の意味

名称に基づく型システム。すなわち、型の同一性や互換性が型の名称（名前）によって判断されるシステム（ソフトウェアにおける用語）

英語の意味

(software) Synonym of nominative type system

このボタンはなに？

The compiler enforces a name-based type system to prevent accidental type equivalence between unrelated structures.

コンパイラは無関係な構造体間で偶発的な型の等価性が生じることを防ぐために名前に基づく型システムを採用している。

関連語

name-based type systems

（ plural ）

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★