为什么scala无法推断出方法参数的类型
发布时间：2020-12-16 18:25:19 所属栏目：安全 来源：网络整理
导读：我想知道为什么 scala不能推断出方法参数的类型.我可以看到haskel(也有类型推断)可以做同样的事情.那为什么不为斯卡拉？ 解决方法 首先,Scala中的情况与Haskell有很大的不同,因为它是一种OO语言,面向对象设置中的类型推断有点复杂. 我知道唯一接近完全类型推
|
我想知道为什么
scala不能推断出方法参数的类型.我可以看到haskel(也有类型推断)可以做同样的事情.那为什么不为斯卡拉？
解决方法
首先,Scala中的情况与Haskell有很大的不同,因为它是一种OO语言,面向对象设置中的类型推断有点复杂.
我知道唯一接近完全类型推断的OO语言是OCaml. OCaml通过大量使用结构类型来实现这一点(在fo = o.foo 42中推断出o的类型是“具有foo方法的对象,该方法将int作为参数”而推断的返回类型是“无论返回什么” o.foo的类型是“,这是推断这里唯一有用的类型”. 然而,Scala有许多额外的功能(重载,隐式转换)会妨碍OCaml的方法,并且无法进行完整的全局类型推断. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |