【文件属性】：
文件名称：scala-type-inference:在Scala中处理常见类型推断的细微差别
文件大小：3KB
文件格式：ZIP
更新时间：2021-05-01 05:02:00
Scala类型推断
Scala的类型推断有时可能会受到限制，尤其是当来自C＃和Haskell之类的类型似乎总是可解析的语言时。 开关自然令人沮丧。
但是，Scala无法解析某些类型的确有原因-答案通常是由于其他一些Scala功能所致，该功能禁止以这种方式进行类型推断。 可能是Scala类型推论不会得到改善，因为它不能“改善” （ ）。
所以，最好是了解如何处理它:)
Scala的细微差别
Scala使用从左到右的类型推断：信息流遍历参数列表（而不是单个参数），流经方法主体，然后流向结果。 这与诸如Hindley-Milner（在Haskell中使用）之类的双向或完整类型的推理系统形成对比，后者可能显得更加直观且对用户的限制较少。
类型参数的类型参数无法推断
换句话说，Scala类型推断只能看到参数列表中指定的类型（不要与类型参数列表混淆）。
在Scala中，如果定义以下函数：
de
【文件预览】：
scala-type-inference-master
----README.md(6KB)