モナドが分からなくても使える Extensible Effects - Qiita

Extensible effects は非常に便利なツールですが、検索してもその原理とか実装の詳細しか出てきません。こんなに便利なものがあまり知られていないのも残念なので、紹介記事を書いてみます。 なお、ここでは extensible effects の実装として Scala の atnos-org/eff を利用します。 この記事は初心者向けです。 モナドとかをほとんど知らなくても読めるように配慮しました。 ただし、Scala である程度のプログラミングができることは前提としています。 scalaz や cats を普通に使えるような人は説明文を飛ばしながら読んでください。 Extensible Effects のモチベーション 簡単にまとめると、プログラムの「文脈」を扱うためのものです。 ここで言う「文脈」は、プログラムの上で暗黙的に引き回したい情報のことです。 なんのことかわからない