Tip güvenliği
Tip güvenliği bir programlama dilinin veri tipi hatalarına karşı duyarlığını ifade eden bir terimdir. Yazılımda kullanılan değişken, sabit değer ve yordamların istenen veri tipleriyle (örn. float türünden bir değişkenin int türünden işlemlerde kullanılamaması) çalışmasını amaçlayan tip güvenliğinin ana hatları tip kuramı tarafından belirlenmiştir.
Statik tipli ögelerden kaynaklanan hatalar derleme zamanında denetlenebilirken dinamik tipli ögeler çalışma zamanında ortaya çıkan tip hatalarına neden olabilmektedir.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.