>>633
表せるけど。
しかも、ほとんどの静的型言語と違って、「型宣言」をファーストクラスとして実装可能だ。