Similar to データ型
ダック・タイピング
Duck typing
直観主義型理論
Intuitionistic type theory
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principleオリジン
Zero-based numberingクロージャ
Closure (computer programming)
継承 (プログラミング)
Inheritance (object-oriented programming)
サブルーチン
Function (computer programming)
式 (プログラミング)
Expression (computer science)
識別子
Identifierスコープ (プログラミング)
Scope (computer science)
即時実行関数式
Immediately invoked function expression
束縛 (コンピュータ)
Language binding
ダイナミックバインディング
Late binding
中間表現
Intermediate representation
評価戦略
Evaluation strategy
文 (プログラミング)
Statement (computer science)
方言 (プログラミング言語)
Dialect (computing)
ポリモーフィズム
Polymorphism (computer science)ラベル (プログラミング)
Label (computer science)
ルーチン
プログラミング
Computer programming▲1 trends
プログラミング用語一覧
プログラミング用語 (分野別)
プログラム (コンピュータ)
Computer program
IEEE 754における負のゼロ
−0
Signed zero
42東京
