20/08/01 04:57:40.07 AohC73wd.net
>>413
出来ます。
純粋関数型言語って付いてますが、普通に副作用(入出力などの数学で矛盾する動作)はあります。
Haskellが純粋関数型言語なのは副作用があっても参照透明性を保って、値や型のやり取りの矛盾が無い為です。
20/08/01 04:57:40.07 AohC73wd.net
>>413
出来ます。
純粋関数型言語って付いてますが、普通に副作用(入出力などの数学で矛盾する動作)はあります。
Haskellが純粋関数型言語なのは副作用があっても参照透明性を保って、値や型のやり取りの矛盾が無い為です。