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