Scalaで<:<とか=:=を使ったgeneralized type constraintsがスゴすぎて感動した話 - ( ꒪⌓꒪) ゆるよろ日記

Scala2.8から、Predefに<:<とか=:=とかが定義されていて、これなんだろ?とずーっと疑問だった訳ですよ。で、ついったーで質問投げてたらやっと理解できました。 教えて頂いた @ScalaTohoku さん、@okomok さん、@tioa さん、有り難うございました! "generalized type constraints"というヤツで、型パラメータに与えられた型が、特定の条件を満たす場合にのみ呼び出せるメソッドを定義できるというものです。しかもコンパイル時に静的にチェックされる!! これはスゴい!! What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented? - Stack Overflow =:=や<:<や<%<で特定の型のみ呼び出せるメソッドを定義する 具体的な例で説明します。

[wh11e7rue]

コップ本に書いてなかった

[cohalz]

またゆろよろさんにお世話になってしまった

[takc923]

すげぇ

[heignamerican]

例のアレ

[j5ik2o]

型フェチにはたまらん

[pomu0325]

型パラメータ間の制約。

[shomah4a]

これ使えば何とかなるような気がしなくもないような気がするかもしれない

[mooz]

<:<, <%<, =:=

[bleis-tift]

implicit parameterすごい

[coppieee]

いつか読む

[machupicchubeta]

scala