Similar to ポリモーフィズム
共変性と反変性 (計算機科学)
Type variance
サブタイピング (計算機科学)
Subtyping
多重ディスパッチ
Multiple dispatch
継承 (プログラミング)
Inheritance (object-oriented programming)System F
System F
ジェネリックプログラミング
Generic programming
静的ポリモーフィズム
値 (計算機科学)
Value (computer science)オリジン
Zero-based numbering
型システム
Type systemクロージャ
Closure (computer programming)
サブルーチン
Function (computer programming)参照 (計算機科学)
Reference (computer science)
式 (プログラミング)
Expression (computer science)
識別子
Identifierスコープ (プログラミング)
Scope (computer programming)
正規表現
Regular expression
即時実行関数式
Immediately invoked function expression
束縛 (コンピュータ)
Language binding
ダイナミックバインディング
Late binding
中間表現
Intermediate representation
データ型
Data type
データ構造
Data structure
評価戦略
Evaluation strategy
プログラム変数
文 (プログラミング)
Statement (computer science)変数 (プログラミング)
Variable (high-level programming)
方言 (プログラミング言語)
Dialect (computing)
