14/09/17 13:02:50.04 Rq9rJBGz.net
>>268
> 純粋関数型でコンパイルが通れば参照透過性がある。
え？純粋関数型で型検査によって参照透明性を確保しているのはHaskellぐらいでは。
Haskell以外の、例えばMirandaやClean等の他の純粋関数型言語では、
型システムに依存せずに言語機能を制約して参照透明性を確保している
という理解なんだが。
14/09/17 13:02:50.04 Rq9rJBGz.net
>>268
> 純粋関数型でコンパイルが通れば参照透過性がある。
え？純粋関数型で型検査によって参照透明性を確保しているのはHaskellぐらいでは。
Haskell以外の、例えばMirandaやClean等の他の純粋関数型言語では、
型システムに依存せずに言語機能を制約して参照透明性を確保している
という理解なんだが。