有人声称Scala的类型系统是图灵完整的.我的问题是:
这有正式的证据吗？
如何在Scala类型系统中进行简单的计算？
这对Scala有什么好处 - 语言？这是否使Scala在某种程度上比没有图灵完整类型系统的语言更"强大"？
我想这通常适用于语言和类型系统.
我已经读过Scala的类型系统被Java互操作性削弱了,因此无法执行与Haskell类型系统相同的功能.这是真的？因为类型擦除是弱点,还是我在各方面都错了？这是不同的Scala没有类型类的原因吗？
haskell type-systems scala language-comparisons static-typing
Scala和Haskell拥有"图灵完整型系统".通常,图灵完整性是指计算和语言.它在类型的背景下真正意味着什么？
有人可以举一个程序员如何从中受益的例子吗？
PS我不想比较Haskell和Scala的类型系统.一般来说,这更多的是关于这个术语.
PSS如果有可能更多的Scala示例.