xuwei https://blog.hatena.ne.jp/xuwei/ xuwei-k's blog https://xuwei-k.hatenablog.com/ scala かなり後になって追記: 最近のcasbahに取り入れられてるっぽい https://github.com/mongodb/casbah/compare/7e2256f155...a7e6cf5ee6#L0R109 https://github.com/mongodb/casbah/compare/7e2256f155...a7e6cf5ee6#L1R55 以下、元の文章 twitter上ではつぶやいてたんですが、結構重要で、実用的かもしれないと思ったのでblogにまとめてみる。以前自分のblog上で、戻り値の型が型引数に依存してる関数についてというの書いて、その中で型引数が推論できない場合No… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxuwei-k.hatenablog.com%2Fentry%2F20110709%2F1310207146" title=" 型引数がNothingになるとコンパイルエラーにする方法( NotNothing Pattern ? ) - 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 2011-07-09 19:25:46 rich https://xuwei-k.hatenablog.com/entry/20110709/1310207146 1.0 100%