型あり言語 vs 型なし言語

というふうに物事をカテゴライズするという発想が、そもそも、「型」