c - 编译成c的高级系统语言？

Question

我正在寻找一种更高级别的系统语言，如果可能的话，适合形式验证，编译为标准 C，以便它可以以(相对)低的开销跨平台运行。

过去几天我偶然发现的两种最有前途的语言是:

1. BitC - 虽然这种语言的设计目标符合我的需要(它甚至支持函数式范例)，但它处于非常不稳定的状态，文档已过时，而且，总的来说，它看起来像一个非常现实世界项目的远景。

2. Lisaac - 它支持 Design-by-contract，这非常酷并且性能开销相对较低。然而，该网站已经死了，自 08 年以来就没有新的版本，而且通常看起来这种语言已经死了。

我还想指出，它不适用于实时系统，因此 GC 或一般来说，非确定性(在实时意义上)不是问题。

该项目主要涉及音频处理，但它必须是跨平台的。

我假设有人会向我指出显而易见的答案 - “普通的 C”。虽然它是真正的跨平台并且非常有效，但代码量可能会更大。

编辑:我应该澄清一下，我指的是跨平台和跨架构。这就是为什么我只考虑语言，首先编译为 C，但如果你能给我指出另一个例子，我将不胜感激:)

Answer 1

我想您可能会对 ATS 感兴趣.它编译为 C(实际上，它从正式类型理论的角度表达和解释了许多 C 习语和模式，甚至有人提议准备一本书来展示这一点——要是我们有更多时间就好了……)。

The project involves mainly audio processing, though it has to be cross-platform.

我对音频处理了解不多，我主要是在做一些计算机图形学的东西(主要是基础的东西，只是为了尝试一下)。

此外，我不确定 ATS 是否可以在 Windows 上运行(从未尝试过)。

(免责声明:我使用 ATS 已经有一段时间了。它是一种笨重的大型语言，有时很难使用，但我非常喜欢我用它制作的程序的质量，因为例如，请参阅 GLES2 bindings 中的 TEST 子目录以获取一些实际程序)