W swoim przemówieniu z Turinga w 1990 r. Fernando J. Corbató wymienił powody, dla których złożone systemy nieuchronnie ulegną awarii. W podsumowaniu podaje pewne sugestie dotyczące zmniejszenia prawdopodobieństwa niepowodzenia. Wymienia jeden pomysł w następujący sposób:
[U] seryjne języki do projektowania lub syntezy to potężna metodologia. Nie pozwalając programistom ani projektantom na wyrażanie nieistotnych pomysłów, domena możliwych błędów staje się znacznie bardziej ograniczona.
Co rozumie przez „ograniczony język”?
Przez chwilę zastanawiałem się nad programowaniem ograniczeń . Jednak programowanie z ograniczeniami polega na ograniczeniu przestrzeni rozwiązań programu. Jest to narzędzie, które upoważnia programistę. Funkcja, o której mówi Corbató, wydaje się być czymś, co faktycznie ogranicza programistę lub przynajmniej sprawia, że jest bardziej skłonna do pisania kodu terser.
Moja druga myśl jest taka, że odnosi się do konserwatywnych języków programowania . Corbató otrzymał nagrodę Turinga za prace wykonane w latach 60. i 70. XX wieku. Rozumiem, że miał do czynienia z wieloma kartami ciosów. Nigdy nie widziałem karty dziurkacza, więc z pewnością nie wiem, jak ją zaprogramować, ale mogę się domyślać, że programowanie karty dziurkacza jest niezwykle liberalne. Podejrzewam, że pojęcia sprawdzania typu, analizy statycznej itd. Po prostu nie istniały. Czy więc Corbató może odwołuje się do idei języków, które ograniczają twórcę przed popełnianiem głupich błędów? Wydaje się, że tak nie jest. Sprawdzanie bezpieczeństwa i modelowanie danych nie mają nic wspólnego ze zwięzłością, o czym zdaje się mówić, gdy wspomina o „niedopuszczaniu ... nieistotnych pomysłów”.