Un sottocampo della linguistica che studia e classifica lingue secondo le loro caratteristiche strutturali. Il suo scopo è di descrivere e spiegare le proprietà comuni e la diversità strutturale delle lingue del mondo. Comprende tre discipline: tipologia qualitativa, che affronta il problema del confronto fra lingue e varianza all'interno del linguaggio; tipologia quantitativa, che si occupa della distribuzione di modelli strutturali nelle lingue del mondo; e tipologia teorica, che spiega queste distribuzioni.