当前位置：文江博客话题详情

是否有一种具有动态甚至弱类型的编译编程语言？

发布于 2024-08-28 00:23:34 字数 282 浏览 13 评论 0原文

我想知道是否有一种编程语言可以编译为具有动态和/或弱类型功能的机器代码/二进制文件（不是由虚拟机执行的字节码，在考虑类型时这是完全不同的），例如：考虑

一种编译语言，其中：

变量不需要声明
变量可以在运行时创建
函数可以返回不同类型的值

问题：

有这样的编程语言吗？
为什么/为什么不？

我认为动态但强类型的编译语言确实有意义，但这可能吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

等数载，海棠开 2024-09-04 00:23:35

我不知道有哪种语言具有这些功能。不过，我可以想到两个具有重要子集的东西：

D具有类型推断、垃圾收集和强大的元编程设施，但可以编译为高效的机器代码。但是，它没有动态类型。
C# 可以通过 mono 项目直接编译为机器代码。 C# 具有与 D 类似的功能集，但同样没有动态类型。

回复收藏 0 原文

别再吹冷风 2024-09-04 00:23:35

Elixir 就是这样做的。动态变量类型的灵活性有助于进行热代码更新（Erlang 就是为此设计的）。文件被编译为在 BEAM（Erlang/Elixir VM）上运行。

回复收藏 0 原文

謌踐踏愛綪 2024-09-04 00:23:35

C/C++ 都使用 void* 间接支持动态类型。 C++ 示例：

#include <string>

int main() {
    void* x = malloc(sizeof(int))
    *(int*)x = 5;
    x = malloc(sizeof(std::string));
    *(std::string*x) = std::string("Hello world");
    free(x);
    return 0;
}

在 C++17 中，也可以使用 std::any：

#include <string>
#include <any>

int main() {
    std::any x = 5;
    x = std::string("Hello world");
    return 0;
}

当然，鸭子类型在 C/C++ 中很少使用或需要，并且这两个选项都有问题 (< code>void* 是不安全的，std::any 是一个巨大的性能瓶颈）。

您可能正在寻找的另一个示例是 JavaScript 的 V8 引擎。它是一个 JIT 编译器，这意味着源代码被编译为字节码，然后在运行时编译为机器代码，尽管这是对用户隐藏的。

C/C++ both indirectly support dynamic typing using void*. C++ example:

#include <string>

int main() {
    void* x = malloc(sizeof(int))
    *(int*)x = 5;
    x = malloc(sizeof(std::string));
    *(std::string*x) = std::string("Hello world");
    free(x);
    return 0;
}

In C++17, std::any can be used as well:

#include <string>
#include <any>

int main() {
    std::any x = 5;
    x = std::string("Hello world");
    return 0;
}

Of course, duck typing is rarely used or needed in C/C++, and both of these options have issues (void* is unsafe, std::any is a huge performance bottleneck).

Another example of what you may be looking for is the V8 engine for JavaScript. It is a JIT compiler, meaning the source code is compiled to bytecode and then machine code at runtime, although this is hidden from the user.

回复收藏 0 原文

給妳壹絲溫柔 2024-09-04 00:23:35

Python 到 C 可能需要这些标准。

用Python编写。
将 Python 编译为可执行文件。请参阅将简单 Python 脚本转换为 Windows 可执行文件的过程。另请参阅编写从 Python 到 C 的代码转换器？

回复收藏 0 原文

暖心男生 2024-09-04 00:23:34

我相信 Lisp 符合这个描述。

http://en.wikipedia.org/wiki/Common_Lisp

回复收藏 0 原文

坏尐絯 2024-09-04 00:23:34

是的，这是可能的。请参阅Julia。它是一种动态语言（您可以编写没有类型的程序），但它永远不会在虚拟机上运行。它在运行时将程序编译为本机代码（JIT 编译）。

回复收藏 0 原文

水染的天色ゝ 2024-09-04 00:23:34

Objective-C 可能具有您想要的一些属性。类可以在运行时打开和更改，并且您可以向对象发送任何类型的消息，无论它通常是否响应。通过这种方式，您可以实现鸭子类型，就像在 Ruby 中一样。类型id大致相当于void*，可以赋予指定（否则未知）类型将遵守的约定的接口。

回复收藏 0 原文

沧桑㈠ 2024-09-04 00:23:34

C# 4.0 具有许多（如果不是全部）这些特性。如果您确实想要本机机器代码，可以将字节码编译为机器代码使用实用程序。

特别是，使用dynamic关键字允许对象及其成员在运行时动态绑定。

查看 Anders Hejlsberg 的视频《C# 的未来》，了解入门知识：

http: //channel9.msdn.com/pdc2008/TL16/

回复收藏 0 原文

过潦 2024-09-04 00:23:34

Objective-C 具有您提到的许多功能：它编译为机器代码，并且针对对象实例有效地动态类型化。 id 类型可以存储任何类实例，Objective-C 使用消息传递而不是成员函数调用。可以在运行时创建/添加方法。 Objective-C运行时也可以在运行时合成类实例变量，但局部变量仍然需要声明（就像在C中一样）。

C# 4.0 具有许多此类功能，只不过它被编译为 IL（字节码）并使用虚拟机（CLR）进行解释。然而，这提出了一个有趣的观点：如果字节码被及时编译为机器代码，这算不算？如果是这样，它不仅打开了通往任何 .Net 语言的大门，还打开了通往 Python 的大门（请参阅 PyPy 或 Unladed Swallow 或 IronPython）和 Ruby（请参阅 MacRuby 或 IronRuby）和许多其他动态类型语言，更不用说许多 LISP 变体了。