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.