Типология — раздел лингвистики, занимающийся выяснением наиболее общих закономерностей различных языков, не обязательно связанных между собой общим происхождением или взаимным влиянием. Типология стремится выявить наиболее вероятные явления в различных языках. В случае если некоторое явление выявляется в представительной группе языков, оно может считаться типологической закономерностью, применимой к языку как таковому.
Типологический анализ можно вести на уровне звука (фонетическая и фонологическая типология), на уровне слова (морфологическая типология), предложения (синтаксическая типология) и надсинтаксических структур (типология текста или дискурса).
В начале своего развития типология пыталась найти ответ на вопрос, какие языки и на основании чего можно отнести к «более примитивным», а какие — к «более развитым». Довольно скоро выяснилось, что исходная посылка была неверной: невозможно по типологической характеристике языка судить о его «развитости» или «примитивности». Совершенно различные языки могут принадлежать к одному типу (например, китайский — великолепно развитый и имеющий богатейшую литературу — и бесписьменный язык народности цин на севере Китая в равной степени относятся к изолирующим языкам), родственные и примерно одинаково разработанные языки могут относиться к разным типам (синтетические славянские русский или сербский и аналитический болгарский, изолирующий английский и флективный немецкий). Наконец, один и тот же язык может в своем развитии менять тип и не раз: например, история французского может быть разбита на изолирующий раннеиндоевропейский, флективные позднеиндоевропейский и латинский, аналитический среднефранцузский и практически изолирующий современный разговорный французский.
В результате этих открытий лингвисты разочаровались в типологии примерно до середины 20-го столетия, когда типология пережила новое рождение. Сегодняшняя типология имеет дело не с отдельными элементами языков, а с системами языков — фонологической (системой звуков) и грамматической.