貳佰伍拾陸夜日記
id:tarao
部分型における変性と極性 - なぜScalaの変性は+や-で指定するのか
この記事はScala Advent Calendar 2022の19日目です.Scalaではジェネリック型の変性(variance)は+や-で指定しますが, 他の言語(たとえば, C#, Kotlin)ではoutやinだったりします. この記事では変性の意味を整理して, なぜScalaでは+/-の記号を使うのか説明します.追記ただし, ここで説明している内容は基本的にC#やKotlin…