関数型まつり2025
公募セッション25分

Effectの双対、Coeffect

yukikurage_2019 ゆきくらげ yukikurage_2019
2

対象とする聴衆のレベル（該当するレベルを記載してください。）

  • Intermediate: 分野の基礎知識を持っている

セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）

  • 理論

セッションの概要

昨今巷で Effect システムが流行っていますが、実はその双対、Coeffect システムというものがあるのをご存じでしょうか。
Effect が関数のボディでの作用について述べるシステムだとすれば、Coeffect は対称的に、引数の性質について述べるシステムです。変数の使用回数のトラッキング、セキュリティレベルの追跡などがそのインスタンスになることが知られています。

Effect システムについても軽く説明しますが、型付きラムダ計算等の知識は前提とします。