Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:80091 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 64370 invoked from network); 2 Jan 2015 13:04:29 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 2 Jan 2015 13:04:29 -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.216 as permitted sender) X-PHP-List-Original-Sender: ajf@ajf.me X-Host-Fingerprint: 192.64.116.216 imap10-3.ox.privateemail.com Received: from [192.64.116.216] ([192.64.116.216:49172] helo=imap10-3.ox.privateemail.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id E1/80-61219-C5796A45 for ; Fri, 02 Jan 2015 08:04:29 -0500 Received: from localhost (localhost [127.0.0.1]) by mail.privateemail.com (Postfix) with ESMTP id 2A79F2400C7; Fri, 2 Jan 2015 08:04:26 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at imap10.ox.privateemail.com Received: from mail.privateemail.com ([127.0.0.1]) by localhost (imap10.ox.privateemail.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id O1jgvwur8IYh; Fri, 2 Jan 2015 08:04:26 -0500 (EST) Received: from [192.168.0.13] (unknown [94.13.96.117]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.privateemail.com (Postfix) with ESMTPSA id 20EA72400A9; Fri, 2 Jan 2015 08:04:24 -0500 (EST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) In-Reply-To: <20150102114549.GA11498@phcomp.co.uk> Date: Fri, 2 Jan 2015 13:03:52 +0000 Cc: internals@lists.php.net Content-Transfer-Encoding: quoted-printable Message-ID: <015C70CD-0B43-4ACB-BA2A-209B0C6ABC17@ajf.me> References: <41D5BB0B-73AF-488E-968D-90B2878E3178@ajf.me> <54A5051F.1090400@php.net> <54A52AE6.70704@fischer.name> <54A56EB3.2000308@fischer.name> <54A5EBEC.9060204@garfieldtech.com> <20150102114549.GA11498@phcomp.co.uk> To: Alain Williams X-Mailer: Apple Mail (2.1993) Subject: Re: [PHP-DEV] [RFC] Scalar Type Hints From: ajf@ajf.me (Andrea Faulds) Hi Alain, > On 2 Jan 2015, at 11:45, Alain Williams wrote: >=20 > There is a 3rd camp: (c) > These are the language implementors, in particular 3rd parties eg = HipHop. These > do care if a variable is int 42 or string "42" because there are = optimisations > to be made if they know that a value is really an int and not a string = cleanly > convertable to an int. Er, optimisations are not at all prevented by having implicit = conversions. They still allow you to reason about types within a = function, because types are converted. Thanks. -- Andrea Faulds http://ajf.me/