Similar to 型推論
ラムダ計算
Lambda calculus▲1 trendsTemplate:型システム
Template:Type systemsC Sharpのデータ型
FIFO
FIFO (computing and electronics)LIFO
LIFOTime t
Void (コンピュータ)
Void typeインタフェース (抽象型)
Interface (object-oriented programming)オブジェクト型
Object type型変換
Type conversionキャラクタ (コンピュータ)
Character (computing)キャラクタ・ラージ・オブジェクト
Character large objectキュー (コンピュータ)
Queue (abstract data type)共用体
Union type構造体
Object composition固定小数点数
Fixed-point arithmetic再帰データ型
Recursive data type参照 (計算機科学)
Reference (computer science)三分探索木
Ternary search tree実行時型情報
Run-time type information実数型
Real data typeストリーム (プログラミング)
Data stream整数型
Integer (computer science)静的型付け
単精度浮動小数点数
Single-precision floating-point format▲1 trends抽象型
Abstract typeデータ構造アライメント
Data structure alignment動的型付け