メタプログラミング全盛の時代に型チェック、よしんばTypeScript形式のものだったとしても、
競合おこしてどっちかの利点を得るときはもう片方の利点をあきらめるみたいな感じになるんじゃないの?