哪些特征让程序员认为语言是美丽的？

Question

在我看来，有些语言通常被认为比其他语言更美丽。这似乎适用于所有编程范例。是否有任何抽象/跨范式特征使程序员认为一种语言是美丽的？

编辑：如果您认为没有达成共识，请随时发表您自己的观点

Answer 1

我认为美丽的是概念极简主义，或更准确地说是少数通用语言原语的正交集......

而不是描述几乎相同事物所需的许多不太强大的功能，同时必须永久考虑特殊情况。

例如，Haskell 基本上只是围绕三个原语 使用一个非常小的类型系统（只有值、泛型、构造函数、类型类），它以一种强大的方式涵盖了所有内容，可能没有其他通用语言可以实现。
再次值的概念涵盖了一切 - 数据、函数、对象（作为值的集合）……

另一方面，经典 VB 甚至有超过五种构建循环的方法-在。值和函数、普通数据和对象之间存在差异，...整个过程几乎没有任何编写通用代码的可能性。

Answer 2

对于美丽来说，没有任何通用的规则。情人眼里出西施——每个人都有自己对美的看法。

就我个人而言，我喜欢允许您编写简洁但不神秘的代码的语言。它表达了我的想法，没有多余的粗俗或神奇的语法。

Answer 3

这是我的清单：

1. 尽可能简洁，同时仍然具有可读性。
2. 有尽可能少的特殊情况和奇怪的规则，你“只需要知道”尽可能。
3. 让正确、安全的方式成为最明显、最不冗长、最易读的方式。
4. 使解决非常通用的问题变得容易。这在一定程度上与（2）密切相关。如果您必须到处考虑特殊情况，那么您的“通用”解决方案就不是很通用。
5. 使得创建足够高效、可以在任何地方使用的抽象成为可能，而不仅仅是在不需要快速的代码中。
6. 尽可能避免将内置类型视为“特殊”。如果内置类型可以做到这一点，那么用户定义的类型也应该能够做到。

Answer 4

软件的总体趋势是倾向于更具声明性的语言和语言功能。目前，大多数语言都是关于如何，而不是什么。 for 循环准确地表明了您希望代码的行为方式，但它并不表明您希望发生什么。

对我来说，一门美丽的语言可以让我在不剥夺优化能力的情况下进行声明。您的代码表现力越多越好。

Answer 5

我认为它需要与自然语言有些相似。原因：人脑似乎是有线的，因此学习自然语言很容易。另请参阅本土主义，特别是乔姆斯基。这些观点有些极端，但很可能有一定道理。