除Scala for LowLevel之外还有什么第二语言？

>编译到机器代码：检查。有一个实验.NET VM实现，但是所有三个主要实现(DMD，LDC，GDC)直接编译为本地代码，并且该语言旨在使本地编译成为可行。
C库的简单使用：D supports the C ABI and all C types.几乎所有你需要做的是翻译C文件中的头文件和链接。这can even be partially automated.
>可能程序非常接近硬件：检查。 D是我称之为C的惯用超集。它不支持C语法的每一部分，其模块系统完全不同，静态数组是D2中的值类型等。但是，对于C语言中的任何构造(即排除预处理器)在D或标准库中有一个等效的构造。对于任何C代码(不包括预处理器滥用)，有一个规范的D转换看起来大致相同，如果使用相同的编译器后端，则应该生成相同的汇编语言指令。换句话说，每个C语言(不包括预处理器滥用)都可以直接转换为D。

D的参考实现也支持inline ASM，所以你可以搞乱SSE等
>当我想要：检查时，可能以非常高的方式编程。 D被设计为主要的垃圾回收语言(尽管如果您坚持使用手动内存管理，并且小心不要使用假定GC的库/运行时功能)。除此之外，高级编程主要通过模板元编程实现。在您逃跑之前，请谅解，与C相比，D中的模板元编程大大改善。在D与C中进行模板元编程就像在C与C中进行面向对象的编程一样。在D模板中，metaprogramming被设计成语言，而在C中，只有足够的功能可以使用聪明的黑客来使它几乎不起作用。在C与C中可以说面向对象编程也是如此。Phobos的std.algorithm和std.range模块是D的高级子集的好例子。