関数型まつり2025
採択
2025/06/14 17:00〜
Track A
公募セッション25分
Intermediate
理論
Effectの双対、Coeffect
ゆきくらげ
yukikurage_2019
対象とする聴衆のレベル（該当するレベルを記載してください。）
- Intermediate: 分野の基礎知識を持っている
セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）
- 理論
セッションの概要
昨今巷で Effect システムが流行っていますが、実はその双対、Coeffect システムというものがあるのをご存じでしょうか。
Effect が関数のボディでの作用について述べるシステムだとすれば、Coeffect は対称的に、引数の性質について述べるシステムです。変数の使用回数のトラッキング、セキュリティレベルの追跡などがそのインスタンスになることが知られています。
Effect システムについても軽く説明しますが、型付きラムダ計算等の知識は前提とします。