Per il suo discorso del premio Turing del 1990 , Fernando J. Corbató ha elencato le ragioni per cui i sistemi complessi falliranno inevitabilmente. Nelle sue conclusioni, fornisce alcuni suggerimenti per ridurre la probabilità di fallimento. Elenca un'idea come segue:
L'uso di linguaggi vincolati per la progettazione o la sintesi è una metodologia potente. Non consentendo a un programmatore o designer di esprimere idee irrilevanti, il dominio dei possibili errori diventa molto più limitato.
Cosa intende per "linguaggio limitato?"
Per un momento ho considerato la programmazione dei vincoli . Tuttavia, la programmazione dei vincoli riguarda la limitazione dello spazio della soluzione del programma. È uno strumento che abilita un programmatore. La caratteristica a cui Corbató si riferisce sembra essere qualcosa che limita effettivamente il programmatore, o almeno la rende più incline a scrivere codice terser.
Il mio secondo pensiero è che si sta riferendo a linguaggi di programmazione conservativi . Corbató ha ricevuto il premio Turing per il lavoro svolto negli anni '60 e '70. Comprendo che ha affrontato molte carte perforate. Non ho mai visto una scheda perforata, quindi certamente non so come programmarne una, ma potrei immaginare che la programmazione della scheda perforata sia estremamente liberale. Ho il sospetto che le nozioni di controllo del tipo, analisi statica e così via semplicemente non esistessero. Quindi, Corbató si sta forse riferendo all'idea di lingue che impediscono allo sviluppatore di commettere errori stupidi? Neanche questo sembra essere il caso. Il controllo di sicurezza e la modellizzazione dei dati non hanno nulla a che fare con la terseness, che è ciò di cui sembra parlare quando menziona "non consentire ... idee irrilevanti".