什么是最正交的编程语言？[关闭]

我发现自己不得不教新生关于特殊语言规则（例如数组到指针的衰减）的烦恼，这些规则与编程本身完全无关。所以我想知道：

什么是特殊语言规则数量最少的编程语言，其中的一切都是一流的，并且可以在不麻烦的技术限制下进行编写？这样的语言难道不是完美的教学语言吗？

主持人备注

我们正在寻找能提供一些解释和上下文的长答案。不要只列出一种语言：请说明为什么您认为该语言可以回答问题。没有解释任何内容的答案将被删除。有关更多信息，请参见良好主观，不良主观。

我认为，当涉及到“很少的规则”时，Lisp或Smalltalk将获胜。裸语法可以写在一个啤酒标签上。

但是以我的经验，Lisp和Smalltalk的简单性并不意味着它们易于理解和易于教学。虽然不是“纯粹”的方式，但以我的经验，命令式语言的待办事项风格是新手最容易掌握的。

因此，我建议使用Python，Ruby或类似抽象的东西：您可以（几乎）找到它们中的每个基本概念（好的，没有指针），但是您无需从一开始就理解它就可以使某些东西起作用。

我会说LISP或Scheme或该家族的语言是最正交的。随着let，lambda，define，if，cons，list，和( )你能教几乎任何你想要在介绍课程。也不需要预处理指令或int main()诸如此类的东西，而这些只是学生所包括但没有看到原因的东西。

在我的CS入门课程中，我们使用Scheme做了很多非常酷的事情：实现图灵机，实现TC-201计算机，编写上下文无关的语法，使用递归，编写合并和插入排序，实现加法器以及大量其他的东西。

我上大学之前曾在AP comp sci中完成过Java编程，但是Scheme很棒，因为我可以减少混乱并专注于程序中的实际概念。这是一门很棒的课，我强烈建议您在教学中尝试一下。

Pascal专为教授编程而设计。它很容易学习（它是我学习的最早的编程语言之一）。

标志：它还活着而且还在踢！

; draws a triangle
FORWARD 100
RIGHT 120
FORWARD 100
RIGHT 120
FORWARD 100
RIGHT 120

它可能看起来像是玩具，而不是编程语言，但这对于很多人来说并不是不好的第一步。语法非常简单，但是与大多数语言/环境相比，乌龟提供了更具体的反馈形式。尝试创建特定的形状是学习解决问题的思考方法的好方法。

但是，如果您对乌龟不满意，我真的认为Scheme是必经之路。

我会同时提出SML和Haskell。正交性一直是两者的主要设计要点。特别是，SML的核心（即，语言中与模块化无关的部分）几乎是类型化的lambda演算。结果，大多数语言功能受类型驱动，而类型又驱动值的引入和消除形式。这非常理想。

两种语言中都有一些非类型理论的疣（SML中的eqtypes，Haskell中的seq），但是它们仍然在语言无关特性的怪异相互作用方面胜过其他任何事物。

无论选择什么，我都强烈建议教授一种“真实”的语言。教玩具语言对某些人有用，但对另一些人来说，由于与现实世界脱节，这非常令人沮丧。有些人需要与现实世界息息相关，以此作为学习的动力，而这并不是我们判断这种学习策略的地方（实际上，这是一种常见的误解）。

这将取消徽标（如徽标）和特定于领域的语言（如Processing）的资格。尽管后者对于某些事情（例如，制作信息图形）极为有用，但对于大多数用途（因此对大多数用户）来说，使用太受限制。这也排除了Gofer（无用的Haskell子集）。这也排除了帕斯卡，因为尽管后者已经在实际项目中使用，它仅仅是不相关的任何更多，只是缺乏必需的功能（如内置的字符串）。

在实用语言中，我会同意已经提到的那些：现代Lisp或Scheme方言，Haskell，Python或Ruby。就我个人而言，我可能会使用Python，但是所有这些选择都有各自的优缺点。

Tcl有12条规则可以控制整个语言。

[1] Commands. 
[2] Evaluation. 
[3] Words. 
[4] Double quotes. 
[5] Argument expansion. 
[6] Braces. 
[7] Command substitution. 
[8] Variable substitution.
[9] Backslash substitution.
[10] Comments. 
[11] Order of substitution. 
[12] Substitution and word boundaries.

很少有特殊情况或保留字或字符。

什么是特殊语言规则数量最少的编程语言，其中的一切都是一流的，并且可以在不麻烦的技术限制下进行编写？这样的语言难道不是完美的教学语言吗？

为了进一步说明我的观点，在Jot中，一切都是一流的（因为这是Lambda演算），并且可以组成。只有一条指令。这是一种绝对糟糕的教学语言。

通常，图灵tarpit很少有特殊规则，并且要求您在执行任何操作之前都非常了解计算基础。完美的教学语言使学生无需费力就能进行实验，因此更高层次的抽象实际上是一件好事。

您学习的语言中最重要的功能是：

• 最小惊喜原则（PASCAL）

• 可读性（Ada）

我认为第二个要比第一个好，因为阅读代码比编写它更重要。

再说一次，我以谋生为目的编写了C＃，Java，Objective-C和Javascript，所有这些都有怪癖：D

即使我不得不选择一种语言作为开始，我还是会选择C＃。它相对容易阅读，本身并没有什么令人惊奇的惊喜（它们通常隐藏在MS工具/框架中...），还有大量的代码可供阅读和编写文档，这两者对于良好地学习都是必不可少的。