Similar to ポリモーフィズム
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
サブタイピング (計算機科学)
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 science)
即時実行関数式
Immediately invoked function expression
束縛 (コンピュータ)
Language binding
ダイナミックバインディング
Late binding
中間表現
Intermediate representation
データ型
Data type
データ構造
Data structure
評価戦略
Evaluation strategy
プログラム変数
文 (プログラミング)
Statement (computer science)変数 (プログラミング)
Variable (computer science)
方言 (プログラミング言語)
Dialect (computing)ラベル (プログラミング)
Label (computer science)
