毎週水曜日更新中!
#63: Programming with Algebraic Effects and Handlers
Manage episode 236752535 series 2151064
著作 Hajime Morrita , Jun Mukai の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。
関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreadingchat.files.wordpress.com/2019/06/ep63.mp3
- [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
91 つのエピソード