【えふぇくとしすてむ】
エフェクトシステム とは？
💡 関数が「何をやらかすか」を型に書いて、コンパイラに監視させる仕組み
📌 このページのポイント
ひよこ エフェクトシステムって、ゲームのエフェクトとは関係ないんだよね？
ペンギン先生 全然違うよ！ここでの「エフェクト」は「副作用」のことで、関数がI/Oしたり、例外を投げたり、状態を変えたりすることを指すんだよ
ひよこ 副作用って悪いものなの？
ペンギン先生 なくすのは難しいんだけど、「どこで何の副作用が起きるか」がわからないとバグが増えるんだよ。エフェクトシステムはそれを型で明示する仕組みなんだ
ひよこ 型に書くってどういうことなの？
ペンギン先生 たとえば `readFile : String -> IO String` のように関数の型に `IO` というエフェクトラベルをつけるんだよ。これを見ただけで「この関数はI/Oをする」とわかるんだ
ひよこ それって呼び出した関数にも広がるの？
ひよこ エフェクトハンドラーって何なの？
ペンギン先生 エフェクトの「実装」を外側から差し込む仕組みだよ。本番では実際のI/Oを、テストではモックを使うという切り替えがエレガントにできるんだよ
ひよこ どんな言語で使えるの？
ペンギン先生 ScalaのZIO、KokaというMicrosoft Research製の言語、最近ではOCaml 5でも使えるようになったんだよ。関数型プログラミングとの相性がいいんだ
📖 おまけ：英語の意味
「Effect System」 ＝ 効果システム / 副作用システム
💬 ここでの「Effect（エフェクト）」は「副作用」の意味だよ。「型システム（Type System）」の概念を拡張して、副作用を型として扱えるようにしたものだよ