Ryusei’s Notes (a.k.a. M59のブログ)

Referential Transparencyという概念が指すものは漠然としているので、もっと意味が明瞭で使いやすい用語を定義し、色々な言語の性質を記述してみる。前提として 式は原子式か複合式である。 複合式は関手（functor）と項（argument）から構成される。 〈純粋性〉 「式の意味」と「式の値」は同義である。 〈原子確定性〉 …