Similar to 第一級関数
参照透過性
Referential transparency
抽象構文
Abstract syntax
チューリング陥穽
Turing tarpit
チューリング完全
Turing completeness▲1 trends
副作用 (プログラム)
Side effect (computer science)
プログラム意味論
Semantics (computer science)
リスコフの置換原則
Liskov substitution principle
Abs
CHECK制約
Check constraintFuture パターン
Futures and promises
JSON
JSON
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