t_wの輪郭

RSS

関数高階こうかいかんすう

高階関数

2024/7/7 10:47:00

『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』モナドを実現するための高階関数 Higher-kinded function

高階関数モナド

モナドを実現するための高階関数

2025/3/25 23:25:00

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

Higher-kinded function

2025/3/25 23:25: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