Effectの双対、Coeffect
https://fortee.jp/2025fp-matsuri/proposal/67557418-7561-47ec-8594-9d6c0926a6ab
https://speakerdeck.com/yukikurage/effect-noshuang-dui-coeffect
radish-miyazaki.icon
の知識ではほとんど理解できなかった…
Coeffect
を利用すると、
型システム
にコンテキスト（関数の引数）に関する情報を与えることが可能
e.g. 引数の利用回数の制限、
public
/
private
の制限...
Coeffect は
Effect
の（ほぼ）
双対
（
dulality
）である
https://gyazo.com/233388dda8efc152504bb89d38470a34
https://gyazo.com/8bff878a0fedae0bfc055c5aaee1c006
#関数型まつり_2025