TypeScript の変性（共変・反変）を 5 分で理解する

type User = { name: string } type Admin = User & { permissions: string[] } const user: User = { name: "user", } const admin: Admin = { name: "admin", permissions: [], } User は名前だけを持つ型で、Admin は名前と権限を持つ型です。また、それぞれの型の変数も用意しています。 この後のコード例は極力シンプルにするため、やや不自然なコードになっていますがご了承ください[1]。 サブタイプとスーパータイプ Admin 型の変数は name プロパティを持ち、User 型の条件を満たしています。そのため、User 型の変数には Admin 型の変数を代入できます。 その逆は型エラーになります。User 型の変数には perm

[jay-es]

TypeScript の共変・反変についての記事を書きました

[efcl]

covarianceとcontravariantについて

[pekee-nuee-nuee]

これはちゃんとあとで読むやつ

[hase0510]

<T extends (...args: never[]) => unknown> ・・・とかビビるよね初見