t_wの輪郭

Feedlyでフォローするボタン
Algebraic Effects高階関数モナドEffect SystemFreeer MonadFree Monadコンテキストの合成モナドがあるとコンテキストの合成が型レベルでできるHigher-kinded types高階型高階型は型を受け取って型を返す型モナドを実現するための高階関数Higher-kinded function
あれ