関数型プログラミング言語Haskell Part34

関数型プログラミング言語Haskell Part34 (691ﾚｽ)
上下前次 1-新

673(1): デフォルトの名無しさん [] 2025/10/08(水) 18:32:01.08 ID:66xUgFQM(2/2) AAS
>>670

670(1): デフォルトの名無しさん [sage] 2025/10/08(水) 13:07:06.38 ID:4LSFWHe4(1) AAS
>>668
30点の理解

100点満点のご高説をどうぞ。
長文になっても良し。

>>671

671(2): デフォルトの名無しさん [sage] 2025/10/08(水) 14:05:41.01 ID:JTvRYaZp(1) AAS
GC言語はGC使ってる時点で副作用あるやんｗ
メモリ管理他人任せにしてるだけだ

実は純粋関数型言語の定義は「副作用も含めて参照透明性が破れていない」なのです。（Wiki調べ）
print関数やgetLine関数はどう見ても副作用有るでしょう?
でも、モナドのお陰で参照透明性は破れてないんですよ。