逆に考えよう。「型がある言語」とは何だろうか