我非常喜欢Scala，感到绝对满意 :)
但是有时我真的想更加“低级”，不使用JVM，并使用类似SSE等“酷炫”的CPU特性。
那么除了Scala之外，还有哪些好的第二种语言呢？
它应该具备以下特点：
所以基本上我想要一个Scala，当我需要时可以直接插入内联汇编 :) 我认为这样的语言不存在，但也许有一些接近的语言。
那么什么是一个好的选择？ C ++？D？OCaml？
我在C ++（15年前）和OCaml中都稍微编程过。在两种情况下，我只解决了一些问题，并没有深入了解过这门语言本身。
你所描述的基本上是D语言。
编译为机器码：符合。虽然有一个实验性的.NET VM实现，但所有主要的DMD、LDC和GDC三个实现都直接编译成本机代码，并且该语言设计使本地编译可行。
方便使用C库：D支持C ABI和所有C类型。几乎只需翻译头文件并链接C对象文件即可。 甚至可以部分自动化这个过程。
可以非常接近硬件地编程：符合。D是我所说的C的惯用超集。它不支持C语法的每个部分，其模块系统完全不同，在D2中，静态数组是值类型等等。然而，对于C语言中的任何构造（即不包括预处理器）在D或标准库中都具有等价构造。对于任何一段C代码（除了预处理器滥用），都有一个规范的D翻译，看起来大致相同，并且如果您使用相同的编译器后端，则应生成相同的汇编语言指令。换句话说，每个C惯用语（不包括预处理器滥用）都可以以直接的方式翻译成D。
D的参考实现还支持内联汇编，因此您可以操纵SSE等。
如果我想以非常高层次的方式进行编程：没问题。D语言被设计为主要是垃圾回收语言（虽然如果您坚持并小心不使用假设有GC的库/运行时功能，可以使用手动内存管理）。除此之外，高级编程主要通过模板元编程实现。在您离开之前，请了解D语言中的模板元编程相比C++得到了很大的改进。在D中进行模板元编程与在C++中进行面向对象编程一样，而在C++中，只有足够的功能可以使用巧妙的技巧使其勉强工作。对于在C++中进行面向对象编程和在C中进行面向过程编程也可以这样说。Phobos的std.algorithm和std.range模块是D语言高级子集的很好例子。
我也在考虑这个问题，因为我正在做一个C项目，感觉非常没有效率，同时也想念Scala。（我也在旧石器时代做了很多C++...）我可能会转向Go。D语言也很有吸引力。
如果问题允许的话，另一个选择是使用C +脚本语言，比如Lua或Ruby。这就是Unix+shell和emacs一直在做的事情。当你需要性能和低级位操作时，它可以提供帮助，当你需要提高生产力时，它也可以提供帮助。
C++0X还具有良好的泛型支持，如Type Classes as Objects and Implicits中所记录，Oliviera、Moors、Odersky在2010年的OOPSLA会议上发表了相关论文。请参见他们下面的第12个图：
考虑使用C或C++进行最底层的编程，然后在Scala库中使用JNI或JNA进行封装。在某些情况下，您可以通过这种方式两全其美。
