type safety

• yanli$ tipte bir veriyi binary seviyede dahi gondermenizi engelleyen mekanizma.. com variant'larinin nimetlerinden biridir.
  
  c#'ta ise bir adim ileri gidip oyle onunuze gelen her$eyi ona buna typecast etmenizi engelleyen dil ozelligidir..
• stroustrup bu mevzunun c++ durumu icin demis ki:
  "c++ was strongly typed with a couple of holes in the type mechanism"
• c'de bulunmayan özellik.
• bir type system'ın safe olarak nitelenebilmesi için progress ve preservation özelliklerine sahip olması beklenir.
  
  progress: well-type edilmiş terimler tıkanmamalıdır(stuck). well type edilmiş bir terim ya bir değerdir(value) yahut başka bir terime evrilebilmelidir(evaluation step).
  
  preservation: well-type edilmiş t tipindeki bir terim evrildiğinde ortaya çıkan terimin tipi de t olmalıdır.
  
  bir type system'ın bu özelliklere sahip olup olmadığı induction kullanılarak dilin evaluation ve typing kuralları üzerinden rahatça ispat edilebilir.