等号与haskell字面值
等号与haskell字面值
提问于 2013-09-04 01:41:36
当我加载一个包含0=1行的文件时，GHCi中到底发生了什么？
我原以为这会给出一个错误，但它似乎什么也做不了。它有什么作用吗？
我假设它在GHCi中等同于只说"let 0=1“。这是做什么的？
回答 2
Stack Overflow用户
回答已采纳
发布于 2013-09-04 02:03:55
let绑定中的0实际上是文字0上的模式匹配。一开始我也不确定发生了什么，但你可以通过使用严格的模式匹配来确认这一点，如下所示：
Prelude> :set -XBangPatterns
Prelude> let !0 = 1 in 0
*** Exception: <interactive>:13:5-10: Non-exhaustive patterns in pattern bindingStack Overflow用户
发布于 2013-09-04 02:06:01
如果你给失败的模式匹配一个名称x，你也可以像这样强制它：
x @ 0 = 1
main = print x这会产生错误：
FILE.hs: /path/to/FILE.hs:1:5-13: Irrefutable pattern failed for pattern x@0页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/18598365
复制相关文章
相似问题
腾讯云开发者
