scala/structuralSubtyping

= 構造的部分型(structural subtyping) ==

むつかしそうな名前だが、やりたいことはきわめて簡単。 そもそもプログラミングを簡単にしたいがための仕組みなのだから。