参照透過性
/mrsekut-p/参照透過
Ryusei (@mandel59) 氏が語の起源について前から論じている
Ryusei(@mandel59)/「参照透過性」の検索結果 - Twilog
@ayu_mushi
: そもそも クワインは 文脈の側の参照透過性に対応して、内側の部分式が「純粋に指示的 purely referential である」という概念を導入しているけど、「副作用がない」ってことはむしろpurely referentialの方に近い概念だったりしない?
クワインの意味でのreferential opacity は、Moggi的な副作用の扱いでモナドとしてあつかえるか?