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

EN

我想你可能会对苯丙胺类兴奋剂感兴趣。它编译成C(实际上，它从形式类型理论的角度来表达和解释许多C成语和模式，甚至有人提议编写一本书来说明这一点--如果我们有更多的时间.)。

该项目主要涉及音频处理，尽管它必须跨平台。

我对音频处理不太了解，我一直在做一些计算机图形学方面的工作(主要是一些基本的东西，只是为了尝试一下)。

此外，我也不确定ATS是否在Windows上工作(从未尝试过)。

(免责声明:我已经和ATS合作了一段时间了。它是一种庞大的语言，有时很难使用，但我非常喜欢用它制作的程序的质量，例如，一些实际的程序见GLES2绑定中的TEST子目录)

以下内容并不严格遵守这些要求，但我还是想提一提，它太长了，不能发表评论：

Pypy的RPython可以翻译成C. 这里有个很好的话题。它被用来实现Smalltalk，JavaScript，Io，Scheme，Gameboy (具有不同程度的完整性)，但是您可以在其中编写独立的程序。它主要以其对64个平台语言的实现而闻名。

翻译过程需要一个有能力的C编译器。工具链提供了推断代码(翻译过程本身使用的)的各种内容的方法，您可以将其重新用于正式验证。

如果您同时了解Python和C，可以使用cython将类似Python的语法转换为C。它用于编写CPython扩展。