せっかく型推論があるのだから、指定などさせず、「xに対してisClosedとcloseが呼ばれているから、xの型は〜」ときちんと推論してほしいものだ。実際にOCamlなどでは可能なのだから。 Matzにっき(2007-11-22) OCamlでできるのだから〜というのは，ちょっとま…