structural subtyping と言うらしい。 関数型言語とは、どうやら直線的に関係がある訳でも無いみたい。 まぁ、何か色々議論がある様だけども、良く分からんので、後回し…とす。

数理科学的バグ撲滅方法論のすすめ---目次 http://twitter.com/ashigeru/statuses/773216887 なるほど、読み易い感じ。ありがとうござます。

ソースコードをダウンロードしたら、疑問は氷解した。Listに、::ってcase classが定義されていた。 @SerialVersionUID(0L - 8476791151983527571L) final case class ::[B](private var hd: B, private[scala] var tl: List[B]) extends List[B] { def head …