【エフェクトシステムとは一体なんなのか？】なぜ私はHaskellでエフェクトシステムのライブラリを作るに至ったか

はじめに 本記事は、今回筆者が作成したHaskellのエフェクトシステムライブラリの背景を説明するものです。Haskellに触れたことがない読者のために、理解に必要な事柄や文法等は記事中で簡単に説明します。Haskellやライブラリ自体に興味がなくとも、エフェクトシステムの紹介だけでも今後の参考にしていただければ幸いです。 エフェクトシステム エフェクトシステムというプログラミングパラダイムが以前より研究されていました。 これは、プログラムのコード内で起こりうる副作用を分類、タグ付けし、実行時より前に分かるようにするというものです。ここでは、副作用を分類して名前を付けて型として表したものをエフェクト型と呼び、あるコード片が発生させうるすべてのエフェクト型の集合をエフェクト集合と呼ぶことにします。 例えば 1+1 このプログラムのエフェクト集合は空集合{}です。なぜなら、一切の副作用（入出力

[mumei-0]

“プログラムのコード内で起こりうる副作用を分類、タグ付けし、実行時より前に分かるようにするというものです。”

[Windymelt]

「エフェクトってなんやねん」という疑問への説明としてめちゃくちゃよくできてる記事だぁ・・・・・・

[pogin]

ちょうど圏論の地平線読んでたらエフェクト出てたので運命感じる