t_wの輪郭

RSS

合成コンテキスト

コンテキストの合成

2025/3/25 23:28:00

『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』モナドがあるとコンテキストの合成が型レベルでできる

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

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

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