参照透過性
関数 (プログラミング)
関数型言語
手続き型言語
変数 (プログラミング)
モナド (プログラミング)
Lisp
ML (プログラミング言語)
Haskell
分散処理
メモ化
副作用 (プログラム)
冪等性