İçindekiler:
Tanımı - Tür Çıkarımının anlamı nedir?
Tür çıkarımı, genellikle derleme zamanında yapılan bir programlama dilinde belirli ifadelerin veri türlerinin otomatik olarak çıkarılmasıdır. Bir programın analiz edilmesini ve daha sonra o programdaki bazı veya tüm ifadelerin farklı türlerinin çıkarılmasını içerir, böylece programcının programda her değişken kullanıldığında veri türlerini açıkça girmesi ve tanımlaması gerekmez.Techopedia Tip Çıkarımını Açıklıyor
Tür çıkarımı genellikle nesne yönelimli diller yerine işlevsel programlama dillerinin derleyici özelliğidir. Derleyici veya yorumlayıcı, bir değişkenin veya ifadenin veri türünün ne olduğunu anlamak için bağlamın yanı sıra çok az bilgiye ihtiyaç duyar.
Çıkarım algoritması, argüman türlerini ve dönüş değeri türünü belirlemeye çalışır ve ardından tüm bağımsız değişkenlerle çalışan en spesifik veri türünü bulmaya çalışır. Temel bir örnek olarak Foo (a, b) = x + y; derleyici "+" operatörünün iki tamsayı aldığını ve bir tamsayı döndürdüğünü bilir, böylece derleyici veya yorumlayıcı Foo'nun da tamsayı tipine sahip olduğunu çıkarabilir.
