形式类型学（formal typology），文学-语言文字-功能-认知语言学及语言类型学-语言类型学-〔学科分支〕，一种语言类型学与形式语言学相结合的研究范式。最早由美国语言学家M.C.贝克提出，并被M.博林斯基、I.罗伯茨等学者采纳。这一研究思路的特点在于将形式语言学理论与语言类型学方法进行有机结合，同时表明形式语言学与语言类型学这两种理论流派之间可以互相借鉴。形式类型学这一研究范式的理论基础是形式语言学理论，这一理论的开创者是美国语言学家A.N.乔姆斯基。形式语言学秉承了欧洲理性主义哲学传统，认为婴儿在刚出生尚未学会母语时头脑中就先天存储了某些语言知识，这些知识反映了人类语言共同遵循的规律，构成了语言共性的主要内容，人能够成功习得自己的母语是这些规律与外界语言环境共同作用的结果。在研究实践过程中，形式语言学关注的问题是语言中词汇等基本单位如何按照语言共性中的规律组合成为更高级别的语言单位（短语或句子）。早期的形式语言学虽然提倡进行跨语言比较，但是同时认为深入研究任何一种语言的词汇、语法特征都有助于揭示语言共性。