Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:81989 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 15996 invoked from network); 6 Feb 2015 00:05:37 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 6 Feb 2015 00:05:37 -0000 Authentication-Results: pb1.pair.com smtp.mail=ajf@ajf.me; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=ajf@ajf.me; sender-id=pass Received-SPF: pass (pb1.pair.com: domain ajf.me designates 192.64.116.199 as permitted sender) X-PHP-List-Original-Sender: ajf@ajf.me X-Host-Fingerprint: 192.64.116.199 imap11-2.ox.privateemail.com Received: from [192.64.116.199] ([192.64.116.199:51781] helo=imap11-2.ox.privateemail.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 63/47-17766-05504D45 for ; Thu, 05 Feb 2015 19:05:37 -0500 Received: from localhost (localhost [127.0.0.1]) by mail.privateemail.com (Postfix) with ESMTP id 80A628800DB; Thu, 5 Feb 2015 19:05:34 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at imap11.ox.privateemail.com Received: from mail.privateemail.com ([127.0.0.1]) by localhost (imap11.ox.privateemail.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 55xihI5caoUm; Thu, 5 Feb 2015 19:05:34 -0500 (EST) Received: from oa-res-26-240.wireless.abdn.ac.uk (oa-res-26-240.wireless.abdn.ac.uk [137.50.26.240]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.privateemail.com (Postfix) with ESMTPSA id 82C1A8800D5; Thu, 5 Feb 2015 19:05:33 -0500 (EST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) In-Reply-To: Date: Fri, 6 Feb 2015 00:05:31 +0000 Cc: PHP Internals Content-Transfer-Encoding: quoted-printable Message-ID: References: <8703B53E-2C4A-4AC6-95C4-D4F19C6D5221@ajf.me> To: Andi Gutmans X-Mailer: Apple Mail (2.2070.6) Subject: Re: [PHP-DEV] [VOTE] Scalar Type Hints From: ajf@ajf.me (Andrea Faulds) Hi Andi, > On 5 Feb 2015, at 23:57, Andi Gutmans wrote: >=20 > The folks who really want all this great strict typing should head = over to Oracle.com and download free open-source Java? I hear it's got a = lot of strict typing features in it. Only downside is that it'll take = them 10x longer to complete their projects. OK sorry. Had to say that :) = I realize it's not the same=E2=80=A6 I don=E2=80=99t think it=E2=80=99s terribly funny to tell a large = portion of the PHP community to go away. > Andrea, while I don't agree with what you say I accept it. *But* = exactly for the reasons you state (the big divide) we should also have a = weak type hinting option to vote for in parallel. If you feel morally = unable to do that then I can copy your work and just have another RFC = running in parallel but I think that would do a disservice to the good = work you've done. No, I don=E2=80=99t think that=E2=80=99s fair. I=E2=80=99d be against = holding a vote on strict types only for the same reason: the community = is divided. Letting one side =E2=80=9Cwin" is simply unfair on everyone = else. To quote myself in the Scalar Type Hints thread, here=E2=80=99s a rough = tally of who was in favour of what in the v0.1 thread (I think = =E2=80=9Cyourself=E2=80=9D was Zeev in that context): > On 15 Jan 2015, at 14:51, Andrea Faulds wrote: >=20 > Let=E2=80=99s have a look. =46rom a quick skim over the thread for = v0.1: >=20 > * In favour of weak types (or the RFC anyway): Adam, Stas, yourself, = Jordi, Pierre, > * Against, in favour of strict types: Maxime, Nikita, Markus, Marco, = Leigh, Levi, Sven(?) > * In favour of strict types, not against weak types as compromise: = Matthew > * Somewhat in favour: Sebastian > * In favour of allowing both approaches: Marcio, Thomas, Marco >=20 > I apologise if I am misrepresenting anyone=E2=80=99s position. >=20 > This is unlikely to be super-representative of the PHP community. = However, I=E2=80=99m not sure I=E2=80=99d say =E2=80=9Coverwhelmingly = positive=E2=80=9D. It can be easy to get confirmation bias when reading = RFC threads. >=20 > It is very clear to me that a lot of people would like strict types, = and some people would like weak types. As to their relative numbers, I = cannot say. >=20 > I don=E2=80=99t think it=E2=80=99s really fair to cover only the use = case of one half of the PHP community. The other half counts too. This = is a rather divisive issue. As is rather clear, there was no such consensus on internals. = Confirmation bias can be a powerful thing, and it=E2=80=99s easy to = forget that the number of messages doesn=E2=80=99t reflect the number of = participants. The views on other places were, from my experience, even more against = weak types than internals. Internals seems to be the most pro-weak types = PHP community I=E2=80=99m a part of. Because of this schism, I really think it would be completely unfair to = force through weak types. I know internals might like it (or some of = internals, anyway), and I know you and Zeev certainly do, but it=E2=80=99s= not as clear-cut in the wider community. This isn=E2=80=99t some minor issue, either: it=E2=80=99s a very = frequently resurfacing topic, and one which is particularly divisive. = It=E2=80=99s not some minor syntax issue that merely holding a vote will = solve. -- Andrea Faulds http://ajf.me/