这个语法在Haskell中意味着什么:_ | _或(_ | _)
在许多受人尊敬的文件中,我一直看到这个相当令人尴尬的事情:_|_或者(_|_)
无法找到它的定义(Google不能很好地使用符号).那么究竟是什么呢？
Rah*_*thi 11
从这里: -
底部
底部的数学符号是'⊥'.这是Unicode字符22A5十六进制= 8869十进制.也可以用HTML作为'⊥',在LaTeX中用作'\ bot'(在数学模式下).在纯ASCII中,它通常被写成极其丑陋的字符序列
'_|_'.
检查维基的底部和部分功能
为了定义部分函数,我们引入了一个特殊值⊥,名为bottom,通常写为| 在打字机字体.我们说⊥是完全"未定义"的值或函数.每个基本数据类型如Integer或()除了常用元素外还包含一个⊥.
这里给出更多描述: -
- 最后一篇文章看起来非常喜庆的颜色和星星,我一定会读它,谢谢 (5认同)
- @AlekseyBykov在懒惰的语言中,你可能有一些非常合理的值,例如`Cons _ | _(Cons 3 Nil)`,它提供了关于它的价值的部分信息.我们知道它是一个非空列表,我们知道第二个值是"3",我们知道长度是2.它只是明确地检查导致我们在无限循环中"卡住"的第一个值.因此,`_ | _`是推理程序的有用工具. (2认同)