费尔南多·科巴托（Fernando J.Corbató）的“受限语言”

Fernando J.Corbató 在1990年的图灵奖演讲中列出了复杂系统不可避免地会失败的原因。在他的结论中，他提出了一些减少故障可能性的建议。他列举了一个想法如下：

[U]使用约束语言进行设计或综合是一种强大的方法。通过不允许程序员或设计师表达不相关的想法，可能出现的错误的范围变得更加有限。

他所说的“受限语言”是什么意思？

一会儿我考虑了约束编程。但是，约束编程是关于限制程序的解决方案空间。它是赋予程序员权力的工具。Corbató所指的功能似乎实际上限制了程序员，或者至少使她更倾向于编写简短代码。

我的第二个想法是他指的是保守的编程语言。Corbató因在1960年代和1970年代所做的工作而获得了图灵奖。据我了解，他处理了很多打孔卡。我从未见过打孔卡，所以我当然不知道如何编程，但是我可能会猜到打孔卡编程非常自由。我怀疑类型检查，静态分析等概念根本不存在。因此，Corbató可能是指限制开发人员犯下愚蠢错误的语言概念吗？似乎也不是这样。安全检查和数据建模与简洁性无关，当他提到“不允许...无关紧要的想法”时，这似乎就是他所谈论的话题。

“受限编程语言”只是一种不提供（简便）方法来执行与语言目的无关的操作的语言。

请注意，这是“无关的”，而不是“愚蠢的”，“愚蠢的”或“不正确的”。

一个很好的例子就是ISO / ANSI SQL（在SQL-92之前），它在查询语言中无法表达许多过程类型的编程工件，例如递归或循环。（尽管现在有了它们，而且供应商以前还是为它们添加了自定义扩展）。

在我看来，这听起来与特定领域语言的概念非常相似。就像@RBarryYoung指出的那样，一个例子就是SQL（其他例子就是HTML，CSS等）。

首先，您需要了解演讲时（1990年）的计算时代。同样，要意识到他正在与学术界人士交流，而MIT是他的基地。

在那个时代，用于编写语言（元语言）的语言是一个热门话题。元对象协议的艺术才刚刚问世，并且正在激发新语言的设计。但是，所有这些奢侈品都是要付出代价的：复杂性。

为了帮助降低系统的复杂性并允许检查这些系统，出现了诸如Z之类的元语言以制定可测试的规范。我猜他是指这类语言。

他可能是指一种语言，它掌握的概念数量很少。查看此处的图表，其中显示了Coffescript，Ruby和C ++中概念的图形表示。可能是Tuner，这意味着您所用语言中的概念越少，表达无关紧要的想法的机会就越少。