Trong bài phát biểu giải thưởng Turing năm 1990 , Fernando J. Corbató đã liệt kê những lý do tại sao các hệ thống phức tạp chắc chắn sẽ thất bại. Trong kết luận của mình, ông đưa ra một số gợi ý để giảm xác suất thất bại. Ông liệt kê một ý tưởng như sau:
[U] se các ngôn ngữ bị hạn chế cho thiết kế hoặc tổng hợp là một phương pháp mạnh mẽ. Bằng cách không cho phép một lập trình viên hoặc nhà thiết kế thể hiện những ý tưởng không liên quan, miền lỗi có thể trở nên hạn chế hơn rất nhiều.
Anh ta có ý gì bởi "ngôn ngữ bị gò bó?"
Trong một khoảnh khắc tôi đã xem xét lập trình ràng buộc . Tuy nhiên, lập trình ràng buộc là về việc giới hạn không gian giải pháp của chương trình. Nó là một công cụ trao quyền cho một lập trình viên. Tính năng mà Corbató đang đề cập đến dường như là thứ gì đó thực sự hạn chế lập trình viên, hoặc ít nhất khiến cô ấy có xu hướng viết mã terser hơn.
Suy nghĩ thứ hai của tôi là anh ấy đang đề cập đến các ngôn ngữ lập trình bảo thủ . Corbató đã nhận được giải thưởng Turing cho công việc được thực hiện trong những năm 1960 và 1970. Theo hiểu biết của tôi, anh ấy đã xử lý rất nhiều thẻ đục lỗ. Tôi chưa bao giờ nhìn thấy một thẻ đục lỗ, vì vậy tôi chắc chắn không biết cách lập trình một thẻ, nhưng tôi có thể đoán rằng lập trình thẻ đục lỗ là vô cùng tự do. Tôi nghi ngờ các khái niệm về kiểm tra loại, phân tích tĩnh, v.v ... đơn giản là không tồn tại. Vì vậy, có lẽ Corbató đề cập đến ý tưởng về các ngôn ngữ hạn chế nhà phát triển phạm sai lầm ngớ ngẩn? Điều này dường như cũng không phải là trường hợp. Kiểm tra an toàn và mô hình dữ liệu không liên quan gì đến sự căng thẳng, đó là điều mà dường như ông đang nói đến khi đề cập đến việc "không cho phép ... những ý tưởng không liên quan".