検索結果- 英語 - 多言語
検索内容:
built-in types
plural of built-in type
標準で提供される（組み込み）データ型、もしくは組み込み型の複数形
spectral types
plural of spectral type
「スペクトルタイプ」の複数形
ur-types
composite types
plural of composite type
「composite types」は「composite type（複合型）」の複数形を示す活用形です。
constitutional types
touch-typing
A technique of using the keyboard of a computer or typewriter in which the typist operates the keys without needing to look at the keyboard, knowing by heart the keys being allocated to each finger and the space bar to the thumb.
タッチタイピング：コンピュータやタイプライターのキーボードを見ずに、各指に割り当てられたキーや、親指にあたるスペースバーの位置を暗記した上で入力する技法
name-based type systems
name-based type system
(software) Synonym of nominative type system
名称に基づく型システム。すなわち、型の同一性や互換性が型の名称（名前）によって判断されるシステム（ソフトウェアにおける用語）
Hindley-Milner type systems
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.
計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。
