t_wの輪郭

RSS

型高階 Higher-kinded types

高階型

2025/3/25 23:26:00

『Effect System 前半(モチベーション、副作用の抽象化、モナド)【M3 Tech Talk 第254回】 - YouTube』Higher-kinded types 高階型は型を受け取って型を返す型

Higher-kinded types

2025/3/25 23:27:00

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

高階型は型を受け取って型を返す型

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