Tip belirleme bir programlama dilindeki veri tiplerinin otomatik olarak algılanmasına verilen addır. Statik tipli dillerin büyük bölümünde yer alan bu özellik işlevsel programlamada da kendini göstermektedir. C++11, C#, Go, Haskell ve Scala tip belirleme özelliğine sahip dillere örnek gösterilebilir. J. Roger Hindley ve Robin Milner tarafından geliştirilmiş olan tip belirleme sistemi bu konuda öne çıkan algoritmalar arasındadır. Kategori:Tip teorisi