Scalaジェネリクス

さっそく去年の続きで、Scalaのジェネリクスについてメモ。（Scalaでは「ジェネリクス」ではなくて「パラメータ化された型」と呼ぶらしいけど…）
まぁしかし、「=:=」や「<:<」といった、見た目は面白そうな（不思議な）記号なんだけどよく分からないものは今回は保留。

あと、context boundについてもちょびっとメモ。

反変・共変・非変といった変位をプログラマーが指定できるようになっているのは面白いな。
Javaでは共変かどうかしか出てこなかったから。
（そういえば、Javaで共変という言葉を知って色々調べていたとき、反変という言葉自体は目にして、でも関係ないやーと思っていたのだけれども、こうして関係が出てくるとは＾＾；）

それで思い出して試してみたんだけど、Scalaでも共変戻り値型って使えるんだな。（Scalaでもそういう呼び名なのかどうか知らないけど）