Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:76278 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 75505 invoked from network); 30 Jul 2014 17:51:47 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 30 Jul 2014 17:51:47 -0000 Authentication-Results: pb1.pair.com smtp.mail=adam@adamharvey.name; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=adam@adamharvey.name; sender-id=pass Received-SPF: pass (pb1.pair.com: domain adamharvey.name designates 209.85.223.180 as permitted sender) X-PHP-List-Original-Sender: adam@adamharvey.name X-Host-Fingerprint: 209.85.223.180 mail-ie0-f180.google.com Received: from [209.85.223.180] ([209.85.223.180:51685] helo=mail-ie0-f180.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 4F/82-58500-0B039D35 for ; Wed, 30 Jul 2014 13:51:46 -0400 Received: by mail-ie0-f180.google.com with SMTP id at20so2007030iec.11 for ; Wed, 30 Jul 2014 10:51:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamharvey.name; s=google; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=9FSjEI+SjdjsAMCvr3H4QBoVFLt6/dbOyyjOSio98Pc=; b=e8f0bp+LaQsyt8qprGEI4toZK6qzizwAVu9Xphi6NwG8xGh7BiCafRNSyt2VeIUr3C VXt/WlDlL+1xXQMIdUBFo1QtGMnzoCWwbheSlzXLdk3aAP/cpDMuHeF3sc4/JMsRQUgz c00PJsRdccKK/kaG0sUMD3yusMiTWIwYwsC7w= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=9FSjEI+SjdjsAMCvr3H4QBoVFLt6/dbOyyjOSio98Pc=; b=HHahg8oVSLW3tejRMKEVk7hkxb+hzOziHHoo+eK5ro9Y4XCUhljRTEkbSB7lMLlUzl y/n1YlIasfMK5F8BbjSFLNcAFM2Y6IAu1Pfs29KALK4uirG80+lhu3qhLfalllYdoime pQ2wJKZnyjGt9C4RIWnkdCVgj1I1nG1OZlNG6e3fMiGjzzkfAZ2cqHOZsYefUUQwxsNc ogLfIF+U7WiKz0wrh9SZmaVrPQ0cgsHCbvJzdxr9t6VMFnGsXHevQk7wAA7bgRPcZIy+ Cu6WHerthvYq/8acJbKjYcjmNfohL/lK9P98p9IPlTRWMwz0cb3Y3H4EffjlpY6eZ7/g XFrg== X-Gm-Message-State: ALoCoQkBnWL1s3KZDjqIlx9CcLqD88C+qoRx9DyY8DfIrw26H1aPMNI7NzYV0mng6M8zh6EP/SzF X-Received: by 10.50.4.9 with SMTP id g9mr9874919igg.42.1406742718799; Wed, 30 Jul 2014 10:51:58 -0700 (PDT) MIME-Version: 1.0 Sender: adam@adamharvey.name Received: by 10.42.35.203 with HTTP; Wed, 30 Jul 2014 10:51:38 -0700 (PDT) In-Reply-To: <739E5BAE-A01D-4936-A016-8CD90CD64BA1@ajf.me> References: <739E5BAE-A01D-4936-A016-8CD90CD64BA1@ajf.me> Date: Wed, 30 Jul 2014 10:51:38 -0700 X-Google-Sender-Auth: foXsgBd6ql8cl-7QsGQrnGMzVBo Message-ID: To: Andrea Faulds Cc: PHP internals Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [PHP-DEV] [VOTE][RFC] intdiv() From: aharvey@php.net (Adam Harvey) -1 explanation: I don't think %% is clear enough, the only sensible syntax choice (//) is unavailable to us, and I think the utility of having it baked into the language as an operator is pretty minimal regardless (I coded a lot of Python for scientific research in a previous job, and I don't think I ever used //, and you'd think that's the place where you'd use it). +1 on the function, though =E2=80=94 quick searches on Ohloh and Github suggest that there are a grand total of three open source projects that implement a global intdiv() function. Seems safe enough. Adam On 29 July 2014 19:31, Andrea Faulds wrote: > Good evening, > > The intdiv RFC is put to the vote, with separate votes for the integer di= vision operator (%%) and intdiv function, the latter as a fallback. I would= highly encourage you to read the discussion in the =E2=80=9C[RFC] intdiv()= =E2=80=9D thread and the whole RFC before voting. > > The vote is here: https://wiki.php.net/rfc/intdiv#vote > > It is opened today (2014-07-30) and ends 2014-08-06. > > Thanks! > -- > Andrea Faulds > http://ajf.me/ > > > > > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php >