TypeScriptにおける配列の共変性

const animal: Animal = { animal: "string", }; const dog: Dog = { animal: "string", dog: "string", }; いま，Dog <: Animalです． <:という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScriptの型システムは構造的なので，2つのオブジェクトがサブタイプ関係にあるには，それらに共通するプロパティについてもまた，サブタイプ関係が必要1です． 今回の例では，DogとAnimalに共通するanimalプロパティについてstring <: stringなのでOKです． TSでは，S <: TならばT型の変数にS型の値を代入できます． つまり，Dog <: Animalなので Animal型の変数にDog型の値を代入できます．

[shunkeen]

“「反変」ってなんて読むのが正しいんですかね？私は過去「はんぺん」と読んでいたのですが，ある日知り合いから「おでんかよｗｗｗ」とバカにされたのが悔しくて「はんへん」に矯正したという事情があります”

[berlysia]

OGがはんぺんで良い

[razokulover]

varianceの話はいつも訳わからなくなる

[yo_waka]

勉強になった

[efcl]

配列の共変と反変

[yarumato]

“Animal[]型の変数にDog[]型の値を代入できるでしょうか？”

[munieru_jp]

TypeScriptのソースコードって1ファイルそんなに長いのか……ファイル分割しないのかな

[lalupin4]

「反変（はんへん）」「反変性（はんぺんせい）」？/ どっちも「はんぺん」でよい気はする。

[nakag0711]

Javaの例はやってることが違うような? 普通の静的型oopだとオーバーライドした関数の引数型を勝手にサブクラスに書き換えられないから同じ例にはできないわけだな。C#だとこの辺も考慮されてたけどJavaはどうだっけ

[havanap]

はんぺん

[noseld]

面白かった！いつ使えるか分からない知識だけどw

[Nyoho]

反変ははんぺんで合ってますよ。もはやプログラマの方々がみんな圏論的用語を使いこなしていてわしもうれしいです。

[onesplat]

Javaのように境界ワイルドカード型を導入すればよかったのに

[gfx]

面白かった。

[pekee-nuee-nuee]

ハンペン燗酒

[chikoshoot]

”VS Codeでchecker.tsを開いただけなのに，PCのファンが回りだし，メモリを700MB持っていかれました．ヤバいです．”

[sakuro]

かるかんじゃなかった。

[maruware]

良い

[remonoil]

"VS Codeでchecker.tsを開いただけなのに，PCのファンが回りだし，メモリを700MB持っていかれました．ヤバいです．"

[fuji_haruka]

共変性、反変性の話は楽しい

[als_uz]

はんぺん派です

[yosuke_furukawa]

めちゃ面白いけど、途中ジャングルの奥地に行き、「あーやってる、これはやってますわ」って言い出したところで吹いてしまった