programming-languages - 语言是如何以及为什么形成的/是否有任何发展中的语言显示出希望？

Question

就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the help center为指导。




9年前关闭。




问题 1 : 现代计算机语言究竟是如何产生的，为什么？他们是如何开始的，谁是他们的幕后推手？

问题 2 :如果有的话，目前处于起步阶段的哪些语言显示出前景？

Answer 1

How exactly do modern computer language come into being and why? How do they get their start and who is behind them?

这是一个多阶段的过程:

尖头类型理论家和其他专业人士不断提出新的语言特征。您可以在 ACM 编程语言原则研讨会 (POPL) 等地方阅读有关它们的信息，该研讨会自 1973 年以来每年举行一次。

许多这些建议实际上在一些 中得到了实现。研究语言 ;我个人认为有前途的一些研究语言包括 Coq 和 Agda。 Haskell 是一种以前的研究语言，使它变得很大。拥有 10 个用户的研究语言通常被其设计者认为是成功的。许多研究语言从未走得那么远。

从研究到部署，我知道两种模型:

型号A:一位才华横溢的业余爱好者出现并将一大堆现有功能(可能包括一些新想法)合成为一种新语言。业余爱好者有天赋、魅力，也许还有杀手级应用。因此，C、Perl、Python、Ruby 和 Tcl 诞生了。

型号P:一位才华横溢的专业人士会为了建立和传播一种新语言而做出职业牺牲。专业人士有才能，对该领域有深入的了解，并且可能是杀手级应用。于是 Haskell、Lua、ML、Pascal、Scala 和 Scheme 诞生了。

我对专业人士的定义是付费了解编程语言、传播这些知识并开发新的编程语言知识的人。不幸的是，这与设计和实现新语言不同，也与制作许多人可以使用的实现不同。这就是为什么大多数成功的编程语言都是由业余爱好者而非专业人士设计和构建的。

有不少有趣的研究语言拥有成百上千的用户，但从未真正发展壮大。其中我最喜欢的可能是 Icon .我已经争论过 elsewhere没有人真正知道为什么语言变得流行。

摘要:语言的出现是因为人们想让编程变得更好，他们有了新的想法。当有人接受一大堆想法，有些是新的，有些是经过验证的，并将它们综合成一个连贯的整体时，语言就开始了。这是一项大工作。新语言背后的人可能是编程语言专业人士，但从历史上看，大多数被广泛使用的语言似乎都是由才华横溢的业余爱好者创造的。