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.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap