I agree with Kent here. I don't think backwards compatibility on `div` is important (yet). One extremely minor point: although the Definition of Standard ML only provides `div` and `mod` (for flooring division), Standard ML of New Jersey also provides `quot` and `rem` (for truncating). Therefore, if no other language uses the name `quo`, I think `quot` would be better. (Why introduce new abbreviations?) -- Mikael R.
- The Great Integer Division Controversy jhf
- Re: The Great Integer Division Controversy jhf
- Re: The Great Integer Division Controversy jhf
- Re: The Great Integer Division Controversy Lennart Augustsson
- Re: The Great Integer Division Controversy Philip Wadler
- Mikael Rittri