t_wの輪郭

RSS

モナドコンテキストの合成

モナドがあるとコンテキストの合成が型レベルでできる

2025/3/25 23:28:00

『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』

Algebraic Effects 高階関数モナド Effect System Freeer Monad Free Monad コンテキストの合成モナドがあるとコンテキストの合成が型レベルでできる Higher-kinded types 高階型高階型は型を受け取って型を返す型モナドを実現するための高階関数 Higher-kinded function

『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』

2025/3/25 20:51:00

https://youtu.be/o14GmOtPRpY