强大的静态面向对象Scala的多样化替代方案
我想知道是否有任何替代Scala的尝试提供更强大的类型系统和语法。 我知道像Haskell这样的功能性选择，但是有没有真正推动事物的静态OO方面，例如在Scala缺乏的地方，如虚拟类，完全多重继承和更灵活的构造函数语法，static合同检查，更强大的路径依赖，MyTypes，朋友修改，一流的进口，或者一些深奥的打字工具，我甚至没有想到/听说过。
面向对象，在一定程度上静态这些天似乎并不流行。 然而，现代计算机的力量使得编译器的创建超出了过去几十年编译器作者的梦想。
我认为，因为我没有遇到任何事情，没有别的选择，我很可能很快就要淘汰生产代码。 但是，即使他们仍然是学术语言，我还是要留意他们，也许还会玩弄他们。 我正在寻找什么可能被称为左侧领域替代斯卡拉。 所以不是锡兰或者科特林，他们试图把简单性放在优先权上。 埃菲尔这几天似乎没有去。 我遇到过gBeta和Ceasar，但是如果有什么地方输给Scala的话，一直没法解决。 还有其他的可能吗？
总之，没有。 没有流行的面向对象的选择，可以接近斯卡拉的类型系统。 鉴于你想要的功能，我建议你看看C ++，D和Go。
如果你感觉冒险，而且你不完全依附面向对象的思想，那么看看类型化的球拍。 Coq，Idris和Agda提供了相当有趣的独立类型的好东西。 或者转向流行的FP语言，如Haskell，F＃和OCaml。
你有没有什么特别的理由需要OO语言？ 再说一次，如果你想要一个很酷的类型系统和面向对象的话，Scala可能就像现在一样好。
D（特别是D版本2，又名D2）几乎就是你正在寻找的语言。
有Youtube上的视频介绍了D，像Visual D（Visual C ++插件），Mono-D（MonoDevelop插件）和DDT（Eclipse插件）等IDE /插件。
dlang.org的主要网站有完整的图书馆参考资料，语言语法，教程，初学者/高级讨论论坛等。
对于一个GUI，看看GtkD。 我相信你目前需要为此使用DMD编译器。
dsource.org和github有很多其他的第三方库/代码，但是你会发现核心库包含了所有的基础知识，比如json解析器，XML解析器等等，核心语言有许多你需要的东西，像hashmaps，动态数组，合同设计，静态评估模板/表达式等。
使用D2，你可以直接链接到C和C ++，并绑定到Python / LUA代码等等。它可以作为系统语言（如果你愿意，可以用它编写一个操作系统），但是也可以作为一个现代的，高级，优雅，快速的应用语言，支持并发，安全的代码。
总而言之，这是非常令人印象深刻的。 可悲的是，它不是更受欢迎，因为斯卡拉是比较慢的记忆猪;）