型パラメータで型の横に共変(+), 反変(-)の変位アノテーションを付けて変位指定ができる。 変位指定アノテーションを付けない場合は非変(nonvariant)になる。 どのパラメータ型を渡せるかの3種類の規則を指定。 共変(covariant) 型コンストラクタに共変の変…

型変換用の関数の定義に implicit つけると型変換が必要な場面で自動的に型変換関数が実行される。例えば forへ指定する Int to Int で暗黙の型変換が使用されている。 1 to 3 は RichInt の to メソッドから Range(1,2,3) が返される。 1 の Int は、暗黙の…

パターンマッチは条件分岐を記述する switch 文に似た構文 主にデータの比較、分解、抽出の用途で使用する。 実行時に該当するパターンが選択肢にない場合は scala.MatchError が発生する。 switch の default はないが、default と同等のパターンとしてワイ…