純関数・参照透過性・冪等性の違いが分からなくなったのでまとめる

こんにちは．最近関数型プログラミングの概念をちゃんと理解したい欲が出てきました．Keeth こと桑原です． 以前 「なぜ React 哲学を守らないといけないのか？」 という記事を書いたのですが，執筆中に純関数の定義に触れたとき，「これって冪等性のこと？いや，参照透過性？というか，そもそも自分はこの 2 つの概念の定義が曖昧かも…」という疑問がふっと浮かびました．良い機会なので，違いを整理してみます．コード例は今回も独断と偏見で TypeScript で書いています． ※もし間違っている記述があればバンバンコメントいただけると嬉しいです 🙇‍♂️ TL;DR 純関数・参照透過性・冪等性は似ているようで違う概念 冪等性には数学的な意味（f(f(x)) === f(x)）と操作としての意味（何度実行しても状態が同じ）の 2 つの顔がある 「冪等だけど純関数ではない」例（DB 更新など）も，「

[uehaj]

冪等性とはロードバランスとか多重化や冗長化したとき、あるいはブラウザでサブミット連打したとき、サーバが落ちて再起動し処理途中未完のリクエストを再実行したときなどなど、同じリクエストの多重発行に対策する

[nguyen-oi]

なんとなく雰囲気で使ってる言葉だったから、この整理はめちゃくちゃありがたい