Similar to 変数_(プログラミング)
変数 (プログラミング)
Variable (high-level programming)
データ型
Data type
Option型
Option type
値 (計算機科学)
Value (computer science)
依存型
Dependent type
型推論
Type inference
抽象データ型
Abstract data type
型システム
Type system参照 (計算機科学)
Reference (computer science)プログラム変数
自由変数と束縛変数
Free variables and bound variables
添え字
Subscript and superscript
添字表記法
Index notation
族 (数学)
Indexed family
媒介変数
Parameter
パラメトリック方程式
Parametric equation
半角正接置換
Tangent half-angle substitution引数
Parameter (computer programming)
不定元
Indeterminate (variable)変数 (数学)
Variable (mathematics)
メタ変数
Metavariable
型理論
Type theory
Nullable型
Nullable typeSystem F
System Fカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型付きラムダ計算
Typed lambda calculus