>つまり静的型では、そういうconventionなしに
>単に型だけで整合性を取ろうとするんだね。

まぁ、こんな事をさらりと「つまり」と書ける程度には荒っぽいと。