programming-languages - 高级语言应该/将会达到多高？

Question

我知道这是非常抽象的，但我相信它非常集中。

今天有很多高级语言：C#、Java、VB、Python等，所有这些语言都是为了抽象出低级复杂性并提供更加用户友好的编程体验而创建的。高级语言可以减少并在大多数情况下完全消除执行低级、特定于进程的操作（例如指针操作和内存管理）的必要性。许多还删除了平台细节（如文件操作、用户界面生成等）

我的两个问题是：

还有什么可以/应该抽象的？在当今的高级语言中是否存在更多将/应该进一步抽象的低级语义？
通用的高级语言在什么时候变得非常高级，也就是面向目标的？

score 4 · Accepted Answer

在语言中包含非常高级抽象的问题之一是，有时它们不足以完成您想要完成的所有事情，因此您最终也需要较低级别的抽象。在同一种语言中具有高级抽象和低级抽象的问题在于，如果您可以通过低级抽象来探测高级抽象，它们很容易泄漏。

例如，Java 甚至不是一种高级语言，但它的设计首先是安全的（在抽象不会泄漏的意义上）。因此，有些事情在 Java 中是不可能做到的。例如，您不能在 Java 中编写 Java 的垃圾收集器，或者使用指针转换多态来滚动您自己的对象系统，或者编写操作系统（至少不是传统的操作系统）。

相比之下，D 提供高级和低级设施。例如，D 的垃圾收集器是用 D 编写的。这听起来不错，而且大部分情况下确实如此。但是，当您开始在单个代码库中混合抽象级别时，抽象可能会泄漏，尤其是当您使用强制转换或联合来破坏类型系统时。因此，为了在 D 中成功编程，您可能偶尔需要了解一些低级细节来处理泄漏抽象，即使您手头的任务不需要它们。

score 4 · Accepted Answer

还有什么可以/应该抽象的？ 它总是取决于你的目标。这里没有明确的界限，但我认为这取决于您需要多少控制？在抽象和可能性之间通常有相当大的权衡。
通用的高级语言什么时候变成面向目标的？ 只要你能告诉语言/编程环境你想要什么而不是它应该做什么。

但实际上……当然，这条线完全是任意的。

score 2 · Accepted Answer

某些特定领域的语言可能非常“高级”。一个很好的例子是Inform（用于编写文本冒险），其中编程语言与普通英语没有太大区别。以下是示例项目的摘录：

The fireplace is scenery in the Entrance Hall. The description is "Unlit, vacant
[if Search is happening]. It is almost as though you are not expected[end if]."
The sound of the fireplace is "whistling wind". Understand "fire" or "whistling" 
or "wind" as the fireplace. Instead of burning the fireplace: say "There is no 
fuel prepared for a fire."

这是实际的源代码。:)

score 2 · Accepted Answer

我认为一种假设的未来语言将允许您编写验证器而不是实现。然后编译器分析该验证器并（尝试）编写与您的规范匹配的实现。（显然编译器有时必须失败或退回到蛮力，因为它不是一个停止求解器。）

本质上，与暴力破解答案相比，一种具有荒谬优化的逻辑语言。

尽管验证代码可能比实现代码更长，但它可以作为更好的文档，并且更接近规范的外观。您可以用更多的代码输入时间换取更少的文档/规范/代码不同步。

例如：

int32 Remainder(int32 numerator, int32 denominator) {
    requires denominator != 0
    ensures Math.Abs(result) < Math.Abs(denominator)
    ensures exists n suchthat n*denominator + result == numerator
}
int32 EuclideanRemainder(int32 numerator, int32 denominator) {
    requires denominator != 0
    ensures result >= 0
    ensures result < Math.Abs(denominator)
    ensures exists n suchthat n*denominator + result == numerator
}

结果是：

//warning: suggested precondition: denominator != int32.MinValue due to Math.Abs
int32 Remainder(int32 numerator, int32 denominator) {
    return numerator % denominator;
}
int32 EuclideanRemainder(int32 numerator, int32 denominator) {
    return ((numerator % denominator) + denominator) % denominator;
}

score 2 · Accepted Answer

Tcl 有一个官方提案（Tcl Improvement Proposal (TIP) 131，它几乎可以永久解决问题。它所需要的只是一个志愿者来完成这项工作。甚至还有一个骨架实现，只省略了一些细节。

score 1 · Accepted Answer

Hrm，我认为一些语言正在尝试带头一些额外的抽象：带有 STM 的 Clojure 和带有 Actor 模型的 Erlang。

关于我能看到的唯一一件事，我看不到它是如何完成的，那就是一种具有类似于静态类型检查的并发检查的语言。我这样说是因为存在停机问题。
当它修剪我的草坪，早上给我煮咖啡，检查我的电子邮件并告诉我新闻中发生的事情时。

score 0 · Accepted Answer

目前，一些“语言”是针对UAT的（这接近于可以称为目标的东西，并且有目标需要测试，因为这是可以解释它的唯一方式，例如适合测试部分）；这些可以与编程语言合并。
几乎每种语言都可以访问越来越多的高级接口 （即抽象），需要的代码越来越少，并且从操作系统中抽象出来（看看现在用 C# 制作 GUI 应用程序与 C++ MFC 相比是多么容易，比较到 C++ Win32 API）。
至于编程语言，他们可以获得其他开发方法的更多最佳特性：我正在考虑面向方面的编程，它可以帮助解决许多 OO 问题，并且已经在 C# 和 Java 中以某种形式部分实现（比如关于日志记录，事务...）。
UML的最终目标（是？）允许 UML 视图以及图表的详细信息足以对系统进行编码；UML 也是一种语言（在更大的意义上）。
IDE也应该包括在内：您现在可以设置对话框应该如何从 IDE 调整大小，而您以前经常需要对其进行编码。稍后，您可以像任何可换肤的应用程序一样，从主题下拉列表中设置整个应用程序或网站的样式。而且还会有更多。

想象一下它们在一个统一的环境中的结合，因为开发环境是开发的重要组成部分，就像人们可以访问的库及其访问级别一样。

score 0 · Accepted Answer

0

我认为框架是下一步。

于 2010-09-25T05:45:49.890 回答

programming-languages - 高级语言应该/将会达到多高？

8 回答 8

Related

Reference