当我尝试使用真实的项目来驱动Haskell时,遇到了以下定义。我不明白每个论点前面的感叹号是什么意思,我的书似乎也没有提到它。
data MidiMessage = MidiMessage !Int !MidiMessage
这是一个严格的声明。基本上,这意味着在创建数据结构值时,必须将其评估为所谓的“弱头范式”。让我们看一个示例,以便我们可以看到这意味着什么:
data Foo = Foo Int Int !Int !(Maybe Int)
f = Foo (2+2) (3+3) (4+4) (Just (5+5))
f
上面的函数在被求值时将返回“ thunk”:即,执行以确定其值的代码。到那时,Foo甚至还不存在,仅存在代码。
但是有时可能有人会尝试通过模式匹配来查看其中的内容:
case f of
Foo 0 _ _ _ -> "first arg is zero"
_ -> "first arge is something else"
这将执行足够的代码来执行其所需的工作,仅此而已。因此它将创建具有四个参数的Foo(因为如果没有它,您将无法在其中查看内容)。首先,因为我们正在测试它,所以我们需要一直评估到4
,直到我们发现它不匹配。
第二个不需要评估,因为我们没有测试它。因此,6
我们不会将代码存储在该内存位置中,而是将其存储以用于以后的评估(3+3)
。仅当有人看时,它就会变成6。
但是,第三个参数!
在其前面,因此必须进行严格评估:(4+4)
已执行并8
存储在该内存位置。
第四个参数也被严格评估。但是,这里有些棘手:我们没有完全评估,而只是评估弱势的正常头部。这意味着我们要弄清楚是什么Nothing
还是Just
某种东西,并将其存储起来,但是我们走得更远了。这意味着我们Just 10
实际上不是存储而是Just (5+5)
保留其中的杂物未被评估。要知道这一点很重要,尽管我认为这的所有含义都超出了此问题的范围。
如果启用BangPatterns
语言扩展,则可以用相同的方式注释函数参数:
f x !y = x*y
f (1+1) (2+2)
会归还笨拙的(1+1)*4
。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句