我有以下匿名函数:
*Exercises> g = \(Sum n) -> Sum (n - 1)
我这样使用它:
*Exercises> g (Sum 56)
Sum {getSum = 55}
*Exercises> g 56
Sum {getSum = 55}
第二个例子,编译器如何转换56
to Sum 56
?
在前奏中我看到了Sum
是一个实例Num
,但不清楚转换情况。
当 Haskell 看到整数文字时,例如56
,它将其解释为fromInteger 56
。的类型fromInteger
is Num a => Integer -> a
,所以这段代码的类型是Num a => a
。 (任何类型,这里称为a
,这是一个成员Num
class.)
这意味着当您在其中成员的上下文中使用它时Num
是期待 (Sum
在你的情况下),它会“设置”a
to Sum
,然后选择版本fromInteger
类型的Integer -> Sum
. Thus fromInteger 56 :: Sum
.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)