Из отчета Haskell:
Методы класса quot, rem, div и mod удовлетворяют этим законам, если y не равен нулю:
(x `quot` y)*y + (x `rem` y) == x (x `div` y)*y + (x `mod` y) == x
quotпредставляет собой целочисленное деление, усеченное в сторону нуля, а результатdivусекается в сторону отрицательной бесконечности.
Например:
Prelude> (-12) `quot` 5
-2
Prelude> (-12) `div` 5
-3
Каковы некоторые примеры того, где разница между тем, как усекается результат, имеет значение?
Во многих языках есть оператор «mod» или «%», который дает остаток после деления с усечением до 0; например, C, C++ и Java и, возможно, C# сказали бы:
(-11)/5 = -2
(-11)%5 = -1
5*((-11)/5) + (-11)%5 = 5*(-2) + (-1) = -11.
quot и rem в Haskell предназначены для имитации такого поведения. Я могу себе представить, что совместимость с выводом какой-нибудь программы на языке C может быть желательной в какой-то надуманной ситуации.
div и mod в Haskell, а впоследствии / и % в Python, следуют соглашению математиков (по крайней мере, теоретиков чисел) всегда усекать деление вниз (не в сторону 0 — в сторону отрицательной бесконечности), так что остаток всегда неотрицательна. Таким образом, в Python
(-11)/5 = -3
(-11)%5 = 4
5*((-11)/5) + (-11)%5 = 5*(-3) + 4 = -11.
Haskell div и mod следуют этому поведению.
Это не совсем ответ на ваш вопрос, но в GHC на x86 quotRem на Int будет компилироваться в одну машинную инструкцию, тогда как divMod выполняет немного больше работы. Так что, если вы находитесь в разделе, критичном для скорости, и работаете только с положительными числами, quotRem — это то, что вам нужно.
mod во всей программе и увидели такое же улучшение? 11.01.2013 rem, а не к вашей модифицированной программе. (Хотя не знаю, почему я думал, что вы просто не скажете rem, если это то, что вы имели в виду...) 12.01.2013 Простой пример, когда это имеет значение, — это проверка того, является ли целое число четным или нечетным.
let buggyOdd x = x `rem` 2 == 1
buggyOdd 1 // True
buggyOdd (-1) // False (wrong!)
let odd x = x `mod` 2 == 1
odd 1 // True
odd (-1) // True
Заметьте, конечно, что вы могли бы не думать об этих проблемах, просто определив нечетное таким образом:
let odd x = x `rem` 2 /= 0
odd 1 // True
odd (-1) // True
В общем, просто помните, что для y > 0 x mod y всегда возвращает что-то >= 0, а x rem y возвращает 0 или что-то того же знака, что и x.
modследует за знаком второго операнда. 07.05.2009(q,r) = divMod x yтогда и только тогда, когдаx = q*y + r. Запустите пример, это умно, как это работает. 17.12.2010divMod 11 (-5) = (-2, 1)(вместо (-3,-4)), у вас все равно будет 11 = (-2)*(-5) + 1. Таким образом, ваше условие не заставляет знакmodследовать за вторым операндом. Кстати, свойствоx=q*y+rвсегда верно и для quotRem, и всегда существует бесконечно много пар (q,r) таких, чтоx=q*y+r(и ровно две из этих пар имеют |r|‹q, за исключением случаев, когда r=0 дает решение есть только одна пара). 17.12.2010modкомпенсирует какое-то связанное дизайнерское решение вdiv? Точно сказать не могу... 17.12.2010