kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2009-11-30から1日間の記事一覧

scala.Nothingは何のためにあるのか

scala.NothingはScalaのクラス階層における、「一番下」に位置するクラスで全ての型のサブタイプになるが、これが何のためにあるかという点でつまづく人が時々居るようだ。というわけで、scala.Nothingがあると何が嬉しいのかという点をちょっと説明してみよ…