Onun için 1990 Turing Ödülü konuşmasının Fernando J. Corbató kompleks sistemler kaçınılmaz başarısız olur nedenlerini sıraladı. Sonuç olarak, başarısızlık olasılığını azaltmak için bazı önerilerde bulunmaktadır. Bir fikri şöyle sıralıyor:
Tasarım veya sentez için kısıtlanmış dillerin kullanılması güçlü bir metodolojidir. Bir programcının veya tasarımcının alakasız fikirleri ifade etmesine izin vermeyerek, olası hataların alanı çok daha sınırlı hale gelir.
"Kısıtlanmış dil" ile ne demek istiyor?
Bir an için kısıt programlamayı düşündüm . Ancak, kısıtlama programlama, programın çözüm alanını kısıtlamakla ilgilidir. Bir programcıyı güçlendiren bir araçtır. Corbató'nun bahsettiği özellik, programcıyı gerçekten kısıtlayan veya en azından terser kodu yazmaya daha eğilimli hale getiren bir şey gibi görünüyor.
İkinci düşüncem, muhafazakar programlama dillerinden söz ettiği . Corbató, Turing ödülünü 1960'larda ve 1970'lerde yaptığı çalışmalardan aldı. Benim anladığım kadarıyla bir çok delikli kartla uğraştı. Hiç bir punch kart görmedim, bu yüzden kesinlikle bir tane nasıl programlayacağımı bilmiyorum, ama delikli kart programlamanın son derece liberal olduğunu tahmin edebilirim. Tip kontrolü, statik analiz vb. Kavramlarının mevcut olmadığından şüpheleniyorum. Yani, Corbató belki de geliştiricinin aptal hatalar yapmasını kısıtlayan diller fikrine atıfta bulunuyor mu? Bu da böyle görünmüyor. Güvenlik kontrolü ve veri modellemenin terslikle bir ilgisi yoktur, bu da “alakasız fikirlere izin vermeme ...” ifadesinden söz ettiği zaman bahsettiği şeydir.