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

関連記事

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

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

• scala
• 型
• type
• programming

ブックマークしたユーザー

• l-_-ll2023年12月14日 l-_-ll
• kazutanaka2023年12月12日 kazutanaka
• mumei-02023年11月07日 mumei-0
• y0t42023年11月06日 y0t4
• aiya0002023年11月03日 aiya000
• techtech05212023年08月28日 techtech0521
• rmatsuoka2023年03月28日 rmatsuoka
• tarao2023年03月24日 tarao
• ymse2023年01月24日 ymse
• knj29182022年12月31日 knj2918
• lugecy2022年12月31日 lugecy
• yuuki55552022年12月28日 yuuki5555
• nashcft2022年12月27日 nashcft
• midas365452022年12月23日 midas36545
• spinningplates2022年12月23日 spinningplates
• lufiabb2022年12月22日 lufiabb
• zyzy2022年12月21日 zyzy
• emonkak2022年12月20日 emonkak