Referential transparency, definiteness and unfoldability

RT @esumii: プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済（定期陽マ

RT @esumii: プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済（定期陽マ

RT @esumii: プログラミングでも（命令型でも）意味表示の参照透過性（代入可能性）は重要なのでよろしくお願いします！https://t.co/9gRykQjJGM

プログラミング言語理論はマジで「電子計算機のプログラミング言語」に限らない「計算の記述」の理論なので「式の意味」とか大体議論済（定期陽マ

プログラミングでも（命令型でも）意味表示の参照透過性（代入可能性）は重要なのでよろしくお願いします！https://t.co/9gRykQjJGM

「1+2と2+1は違う！」とかも、まさに参照透明性で「プログラミング言語理論」（という名の「計算の記述」の理論）の話。https://t.co/9gRykQjJGM

ちなみに（孫引きですみませんが）https://t.co/XVmCNbSf3r のイントロ前半にあるQuineやFregeの説明が正しければ、「Cicero」の値が単語自体ではなく人物だとしたら「Ciceroは6文字」が参照透明でないのと同様、（続く

RT @esumii: @mandel59 おそらく https://t.co/XVmCNbSf3r はご存じですよね

RT @esumii: @mandel59 おそらく https://t.co/XVmCNbSf3r はご存じですよね

@mandel59 おそらく https://t.co/XVmCNbSf3r はご存じですよね

@esumii <a href="http://t.co/BkQWi7Tyg0">"Referential transparency, definiteness and unfoldability"</a>にあるQ3