TypeScriptで高階多相型
高階多相型
Lightweight higher-kinded Polymorphism
https://kdotdev.com/kdotdev/typescript-higher-kinded-type
https://qiita.com/kgtkr/items/281b634987220d1d1ed5
https://github.com/Microsoft/TypeScript/issues/1213
https://scrapbox.io/herp-technote/Lightweight_Higher-kinded_Polymorphism
https://gist.github.com/gcanti/2b455c5008c2e1674ab3e8d5790cdad5
https://kazchimo.com/2021/06/10/typescript-higher-kinded-type/
https://kazchimo.com/2021/06/10/typescript-higher-kinded-type/
ていねい
https://zenn.dev/eagle/articles/functor-in-ts
https://susisu.hatenablog.com/entry/2023/03/24/232428
HOTScript
code:ts
type App<F, X> = F extends Fun ? (F & { arg: X })
"ret"
: never;
interface Fun {
arg: unknown;
ret: unknown;
}
https://desislav.dev/blog/tsfp/
https://github.com/microsoft/TypeScript/issues/55280
proposal (?)
https://code.lol/post/programming/higher-kinded-types/
fp-ts 使いにくいな……せや!自分でライブラリ書いたろ! #TypeScript - Qiita
mini-fn
の開発者の記事