Similar to 第一級関数

参照透過性
Referential transparency
抽象構文
Abstract syntax
チューリング陥穽
Turing tarpit
チューリング完全
Turing completeness
副作用 (プログラム)
Side effect (computer science)
プログラム意味論
Semantics (computer science)
リスコフの置換原則
Liskov substitution principle
Abs

CHECK制約
Check constraintFuture パターン
Futures and promises
JSON
JSON▲1 trends
Lint
Lint (software)
Load-Link/Store-Conditional
Load-link/store-conditional
N/a
N/A
NaN
NaN
NOT NULL制約

S式
S-expression
This (プログラミング)
This (computer programming)
アセンブリ (プログラミング)
Assembly (programming)
アリティ
Arity
イテレータ
Iterator
インクリメント
Increment and decrement operators
インスタンス変数
Instance variableインタフェース (抽象型)
Interface (object-oriented programming)
インデクサ
Indexer (programming)
インライン関数
Inline (C and C++)
演算子 (コンピュータ言語)
Operator (computer programming)
オーバーライド
Method overriding