2008-08-14から1日間の記事一覧
<継承元の型> { <追加の定義...> }で、継承元の型に合致し、さらに追加の定義を持つ型を作成?できます。例えば // Cat派生でかつmeowメソッドを持つ何かを引数として受け付ける関数 def meow( foo: Cat { def meow:Unit } ) = { foo.meow } みたいなCompound…
<継承元の型> { <追加の定義...> }で、継承元の型に合致し、さらに追加の定義を持つ型を作成?できます。例えば // Cat派生でかつmeowメソッドを持つ何かを引数として受け付ける関数 def meow( foo: Cat { def meow:Unit } ) = { foo.meow } みたいなCompound…