bugün

bir programlama dilinde değişkenlerin değerlerinin türlerine uyumlu olup olmadığının kontrol edilme özelliğidir.en güzel örnekleri tabii ki c ve javadır.
(bkz: weakly typed)