部分型における変性と極性 - なぜScalaの変性は+や-で指定するのか - 貳佰伍拾陸夜日記

この記事はScala Advent Calendar 2022の19日目です. Scalaではジェネリック型の変性(variance)は+や-で指定しますが, 他の言語(たとえば, C#, Kotlin)ではoutやinだったりします. この記事では変性の意味を整理して, なぜScalaでは+/-の記号を使うのか説明します. 追記ただし, ここで説明している内容は基本的にC#やKotlinでも成立する(はずな)ので「なぜこれらの言語では+/-の記号を使わないのか」を説明するものではありません. 個人的には+/-の方がわかりやすいと思うし, out/inの記法は扱っている概念が簡単であるかのような誤解を生む(悪く言えば騙す)のでどちらかと言うと嫌いです. 発端 こういう話題がありました. Scala は共変が + で、反変が - なので理論重視？ なのに対して、Kotlin と TypeSc

[tarao]

C#等でも同じことが起きる話のため、これを読んで「Scalaは難しい」と思った人は騙されています。

[l-_-ll]

“なぜ変性が必要か”

[mumei-0]

“反変は典型的には関数型の部分型を考えると必要”

[aiya000]

Scala, C#, Kotlinには変性がある。Haskellにはない。いかにHaskellが簡単な言語かわかりますね。皆さんあとはよろしくおねがいします。

[zyzy]

プラマイの表記ってこんなスマートなもんだったんだな……。漠然と一文字で書けて共変のが一般的だからと思ってた。

[Windymelt]

ありがたい記事