Re: [RFC] intdiv()

On 15 Jul 2014, at 06:50, Kris Craig <kris.craig@gmail.com> wrote: > While a practical argument can certainly be made that existing solutions can fit the examples > OP cited, I don't think that takes away from the underlying principle of the argument: That > there's no reason *not* to include a basic integer division in PHP. It's never made sense > to me why it wasn't included. Rather than an intdiv() function, though, I wonder if an > operator would be a better approach. Some languages I've seen that use / as the division > operator will use a \ as the integer division operator. We use \ for namespaces, and Python 3’s // obviously can’t be used, so I might suggest Pascal’s div operator: $minutes = ($s div 60) % 60; Failing that, div() as a built-in function much like pow() is: $minutes = div($s, 60) % 60; -- Andrea Faulds http://ajf.me/