Gelen Programlama Dilleri Kavramları , John Mitchell statik tür denetlemesi nedeniyle Durma Problemi ait (aşırı sıkı) mutlaka muhafazakar olduğunu yazıyor. Örnek olarak verir:
if (complicated-expression-that-could-run-forever)
then (expression-with-type-error)
else (expression-with-type-error)
Birisi gerçekten pratik bir endişe yaratacak bir cevap veremez mi?
Java, böyle durumlar için dinamik olarak kontrol edilen dökümlere izin verdiğini anlıyorum:
if (foo instanceof Person) {
Person p = (Person) foo;
:
}
ancak bunun çapraz dil meselesinden çok Java dili / derleyici eksikliğinin gerekliliğini düşünüyorum.
2
Verdiğin Java örneği olan olmayan yapmacık örnek statik tip denetimi çok tutucu olma. Başka bir deyişle, cevap aklınıza gelen tip sistemine bağlıdır. Geldiğimiz herhangi bir örnek için, her zaman bu örneği işleyebilecek bir tür sistemi olacaktır (tür sistemi bu örnekte çok muhafazakar değildir). Herhangi bir tip sistem için, her zaman çok muhafazakar olduğu bir örnek bulabiliriz. Bu yüzden, tip sistemini belirtmeniz gerektiğini düşünüyorum. Java tipi sistem aklınızda olan şey değilse, düşündüğünüz daha spesifik bir şey var mı? ML tarzı tür çıkarımı?
—
DW
örneğin, statik kod analizinin nec tip kontrolü değil, "muhafazakar" olduğu iddia edilebilir . "muhafazakar" ı tanımlamak yararlı olacaktır . tartışmasız tüm statik tip sistemler dinamik sistemlere kıyasla "muhafazakar" olacaktır çünkü birincisi tanım gereği derleme zamanında daha katıdır . ancak dinamik denetleme benzer (tür tabanlı) hataları da döndürebildiğinden , çalışma zamanında daha katı olmadığı da iddia edilebilir. ve bu arada, dillerdeki çalışma zamanı dinamik denetimli yayınlar bir eksiklik değildir , muhtemelen statik olarak kontrol edilen dillerde, muhtemelen kanıtlanamaz.
—
vzn