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

**デフォルトの名無しさん** · 2021/12/17(金) 12:57:26.37

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part33
https://mevius.5ch.net/test/read.cgi/tech/1581326256/

**デフォルトの名無しさん** · 2025/01/09(木) 20:13:21.93

評価が全部終わった後じゃないと参照透明性が保証されない。

**デフォルトの名無しさん** · 2025/01/09(木) 20:18:47.77

規制あったはずなんだけどなんか書き込めた。

アクションの生成が完了（コンパイルの終了）。この時点ではみんな純粋。

その後に、アクションの実行（プログラムの実行）が起こって入出力が出る。

アクションの生成時点まですべての関数が純粋関数だということは参照透明性が保証されるということで、ありがたみはその一点にあると思うが。