xuwei https://blog.hatena.ne.jp/xuwei/ xuwei-k's blog https://xuwei-k.hatenablog.com/ scala retronymさん(Scalaのコミッターの人)が Any and nothing are kind polymorphic in scala. https://groups.google.com/d/msg/scalaz/RTNLhIcFkIc/9uQHD618vDwJと言っていて、深く考えたことなかったけど、そういえばそうなのかーと妙に納得したのでメモしておく。*1 *1: twitter上を検索したら、runaroramaさんが、昔同じこと言ってますね https://twitter.com/runarorama/status/200623505040089090 https://tw… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxuwei-k.hatenablog.com%2Fentry%2F20131017%2F1381993200" title="ScalaのAnyとNothingのKind - xuwei-k&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-10-17 16:00:00 rich https://xuwei-k.hatenablog.com/entry/20131017/1381993200 1.0 100%