http://d.hatena.ne.jp/bellbind/20071207/1197018213 のつづきは軽く obj wrap Type: = obj is like Type ? obj : throw new TypeError() みたいな感じの式(throwは文なので感じだけ) これはlikeにとってのcast相当 Gradual Typeだと、(型宣言がついてない)…