TypeScriptの変性
TypeScriptの変性
TypeScript特有の事象
TypeScriptのArrayはinvariantではなくcovariantなので健全性が壊れている
関数なのかmethodなのかで変性が変わる
strictFunctionTypes
trueなら、関数の引数はcontravariant
falseなら、関数の引数はbivariant
bivarianceHack
Optional Variance Annotations for Type Parameters
#WIP
issue
https://twitter.com/qnighy/status/1348176665252220934
https://www.wantedly.com/companies/wantedly/post_articles/306005
https://susisu.hatenablog.com/entry/2021/10/31/233246#bivariant-methods