Haskell和Scala中的“Right 5”
发布时间：2020-12-16 19:07:07 所属栏目：安全 来源：网络整理
导读：在ghci,我跑了： ghci :t Right 5Right 5 :: Num b = Either a b 一个什么意思？ 与Scala的版本相比如何？ scala Right(5)res0: scala.util.Right[Nothing,Int] = Right(5) 解决方法 a就是这个例子中的b,是一个类型变量.它可以用任何类型实例化(而b可以用满
|
在ghci,我跑了：
ghci> :t Right 5 Right 5 :: Num b => Either a b 一个什么意思？ 与Scala的版本相比如何？ scala> Right(5) res0: scala.util.Right[Nothing,Int] = Right(5) 解决方法
a就是这个例子中的b,是一个类型变量.它可以用任何类型实例化(而b可以用满足约束的任何类型实例化,它也是Num的一个实例).
由于scala的类型系统完全不同,Scala示例的工作方式截然不同,没有真正的价值概念有一个没有完全实例化的类型,所以你需要分配一个类型到左边的可能性你的价值.除了进一步的限制,这只是最终没有.由于scala的类型系统的工作方式(没有任何其他类型的子类型,所以你可以将它看作是任意类型的双重)一个[Nothing,B]也是任何[A,B]任何一个. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |