Scala 是否像 ML 一样有值限制，如果没有，那为什么？
作者：Shelby Moore III 提问时间：2/3/2018
以下是我对这个问题的看法。任何人都可以确认、否认或详细说明吗？ 我写道： Scala 没有将协变与分配给 的 GLB ⊤ 统一，bcz afaics 在子类型“双统一”中分配的方向很重要。因此必须...
Hindley-Milner 问答列表
作者：Shelby Moore III 提问时间：2/3/2018
以下是我对这个问题的看法。任何人都可以确认、否认或详细说明吗？ 我写道： Scala 没有将协变与分配给 的 GLB ⊤ 统一，bcz afaics 在子类型“双统一”中分配的方向很重要。因此必须...