関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
- [1203.1539] Programming with Algebraic Effects and Handlers
- Algebraic Effects for Functional Programming
- Programming and Reasoning with Algebraic Effects and Dependent Types
- yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
- Eff Programming Language
- Koka – Microsoft Research
- Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types – Misreading Chat
follow-up