何日か前に痺れたStructural Subtypingが.scalaから.classにコンパイルされると、 どういう実装になっているのか気になったので、jadってみますた。

scala.Listの中に、 sealed abstract class List[+A] extends Seq[A]こんなクラスがありましたよ。 このクラスは、こんなメソッドを持っているます。 def ::[B >: A] (x: B): List[B] = new scala.::(x, this)昨日、抜粋したcase class の::が何故、いきなり…

カーとかクダーとか、聞いて、::が何故case classなのか分かりましたよ。 ちなみに、scala.Listには、 こんなcase classもありましたよ、やりましたね。 @SerialVersionUID(0 - 8256821097970055419L) case object Nil extends List[Nothing] { override def…