我想知道是否有任何替代Scala试图提供更强大的类型系统和语法.我知道Haskell之类的功能替代方案,但是有没有真正推动静态OO方面的事情,例如在Scala缺乏的领域,例如虚拟类,完全多重继承和更灵活的构造函数语法,静态合同检查,更强大的路径依赖,MyTypes,朋友修改器,头等类导入,或者可能是一些深奥的打字工具,我甚至没有想到/听说过.
OO和较小程度的静态这些天似乎并不流行.但是,让我感到震惊的是,现代计算机的强大功能使静态编译器的创建超越了前几十年编译器编写者的梦想.
我认为,因为我没有遇到过任何问题,所以我很可能不想在任何时间内删除生产代码.但即使他们仍然是非常多的学术语言,我仍然希望留意他们,也许还可以和他们一起玩.我特别想找到可能被称为Scala的左场替代品.因此,没有锡兰或科特林试图将简单优先于权力.这些天埃菲尔似乎没有去过任何地方.我遇到了gBeta和Ceasar但是如果有任何他们输给Scala的地方就无法解决问题.还有其他可能性吗？
一句话，不。没有任何流行的 OO 替代方案可以接近 Scala 的类型系统。鉴于您想要的功能，我建议您仔细研究一下 C++、D 和 Go。
如果您喜欢冒险并且不完全认同 OO 的理念，那么可以看看 Typed Racket。Coq、Idris 和 Agda 提供了非常有趣的依赖类型功能。或者直接转向流行的 FP 语言，如 Haskell、F# 和 OCaml。
您想要一门面向对象语言有什么特别的原因吗？再说一遍，如果您想要一个很酷的类型系统和面向对象，那么 Scala 可能是目前最好的选择。