TL;DR
- Coeffect を使うと、コンテキスト（関数の引数）についての情報を型システムに与えられる。
- Coeffect は Effect のほぼ双対である。
内容
Coeffect を使うと、型システムにコンテキスト（関数の引数）についての情報を与えられる。例えば、引数を使える回数や、public / private の制限を型で表せる。Coeffect は、エフェクトシステムが扱う Effect のほぼ双対である。
キーワード
自分の理解
自分の知識ではほとんど理解できなかった…。
関連