Tip belirleme

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.

Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.