あるプログラマの日記

プログラマのメモ、出来事、考えたこと、勉強とかの雑記

2012-07-03から1日間の記事一覧

構造的部分型(Structural Subtyping)

型の階層構造とは関係なく特定のメソッドを定義して、このメソッドを持つ型として定義できる。 Ruby や python のダックタイピングと同じようなもの戻り値の型が Unit で引数無しの close メソッドを持つ型を構造的部分型として指定 def using[S <: { def close(): Unit }, U](s: S)(f: S => U): U = { </:>…