結局、typeof,instanceof程度の型検査が現実的な落としどころだということが判った。http://d.hatena.ne.jp/kilrey/20051009#p1の解法(ex.x$number)は見た目も打鍵数も穏当であり、実用に耐えるものであると信じる。 では、関数の型検査化を簡略にする手段を…