前端之家收集整理的这篇文章主要介绍了
haskell – 整数运算符与div,
前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
类型类Integral有两个操作quot和div,但在Haskell 2010语言报告中,没有指定他们应该做什么。假设div是整数除法,有什么不同,或者什么是目的?你什么时候使用一个,而另一个?
引用Haskell报告中的6.4.2节:
如果y不为零,则quot,rem,div和mod类方法满足这些定律:
(x ‘quot‘ y)⋆y + (x ‘rem‘ y) == x
(x ‘div‘ y)⋆y + (x ‘mod‘ y) == x
”是向零舍去的整数除法,而’div’的结果向负无穷大截断。
div函数通常是更自然使用的函数,而p函数对应于现代机器上的机器指令,因此它更高效。
原文链接:https://www.f2er.com/css/222201.html