typeは関数型の別名をつけるためのものか
複数の関数で同じ意味合いの引数の型を一括で制御できるな。
こんな関数があるとして
def f(x: (Int) => Int) = x(100) f((y: Int) => y * 100)
なんてのがtypeを使って書くと
type F = Int => Int def f(x: F) = x(100) f((y: Int) => y * 100)
ってなる。
これだと一行増えて、普通に書いたほうがよさそうにみえるけど
使いどころによってはきっと便利なんだって思いたい。。。