参照透過性 とは？

純粋な計算ではそうだよ。定義の中心は「式をその結果の値に置き換えても、プログラムの意味が変わらない」こと。たとえばadd(a,b)が外部を変更せず足し算だけをするなら、add(2,3) + 1を5 + 1に置き換えても結果は6のままなんだ。

戻り値だけでは足りないよ。毎回ログを書いてから5を返す式を、値の5に置き換えるとログが消えるよね。プログラムの振る舞いが変わるので、そうした入出力や外部の変更も確認するんだ。

外部の時計を読む式は、呼ぶタイミングで結果が変わるよ。時刻を引数として受け取り、そこから表示用の文字列を計算する部分なら、外部の時計を読む部分と分けて考えられる。入力が何かを明確にすることが大切なんだ。

外部状態や呼び出し順に左右されにくいので、計算の結果を推論したりテストしたりしやすいよ。条件を満たす計算では、結果の再利用や並列化を考える助けにもなる。ただしアプリ全体の共有データや入出力まで、自動的に安全になるわけではないんだ。

もちろん。純粋な計算と外部とのやり取りを分けて設計できるよ。HaskellではIOという型のアクションとして入出力を扱う。IOの値を組み立てることと、それを実行して外部へ作用することを区別するんだ。モナドはIOだけに使う仕組みではないよ。