戻り値の型が型引数に依存してる関数について - xuwei-k's blogまず戻り値の型が型引数に依存してるってどういうことかっていうと、こういう感じ def foo[A]( param :String ) : A = { ... } 依存してるって言い方が一般的なのか、あってるのかは知りませんというか、勝手にこう呼んでます。つまり、 foo[Int]( "scala" ) というように、明示的に型引数を書く val obj:Int = foo( "scala" ) のように、戻り値の型が推論してもらえるような場所に書く 上記と結局は同じだが、 def bar( param: Int ) という関数があり bar( foo( "scala" ) ) という呼び方をする というような使い方をしないといけない関数のことです。 これを val obj = hoge("scala") というように呼ぶと、objがNothing型に推論されてしまいます。 まぁ普通コンパイ
