t_wの輪郭
RSS
関数
高階
こうかいかんすう
高階関数
2024/7/7 10:47:00
『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech T...
モナドを実現するための高階関数
Higher-kinded function
高階関数
モナド
モナドを実現するための高階関数
2025/3/25 23:25:00
『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech T...
高階関数
Higher-kinded function
2025/3/25 23:25:00
『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech T...
Algebraic Effects
高階関数
モナド
Effect System
Freeer Monad
Free Monad
コンテキストの合成
モナドがあるとコンテキストの合成が型レベルでできる
Higher-kinded types
高階型
高階型は型を受け取って型を返す型
モナドを実現するための高階関数
Higher-kinded function
『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech T...
2025/3/25 20:51:00
https://youtu.be/o14GmOtPRpY
あれ