Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83471
Return-Path: <zeev@zend.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 94416 invoked from network); 22 Feb 2015 13:12:42 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 22 Feb 2015 13:12:42 -0000
Authentication-Results: pb1.pair.com header.from=zeev@zend.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=zeev@zend.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.223.171 as permitted sender)
X-PHP-List-Original-Sender: zeev@zend.com
X-Host-Fingerprint: 209.85.223.171 mail-ie0-f171.google.com  
Received: from [209.85.223.171] ([209.85.223.171:42954] helo=mail-ie0-f171.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id D9/F2-09723-9C5D9E45 for <internals@lists.php.net>; Sun, 22 Feb 2015 08:12:41 -0500
Received: by iecrp18 with SMTP id rp18so17667095iec.9
        for <internals@lists.php.net>; Sun, 22 Feb 2015 05:12:39 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:from:references:in-reply-to:mime-version
         :thread-index:date:message-id:subject:to:cc:content-type;
        bh=gMVkMAV2Vwm7KGaEDxcPmdduinrbSdAuN+1D8LE/9hs=;
        b=EcdvT96xAiGUVaX6qgII/McOfTJ9qY1BdExsB6EEFxQUxy2Pt6oONA1gzD3Ol6+TsZ
         WZkXssZeP7CbEICh5V8pLnxFi6s2b6hACNtoSPZKvigPUFC6KTo/YLD1ZKdagiEst8jm
         adIoAT0JtIdRugwZWQuv3/wWliFOvlG+XK0XZGny8bgj6c7SSGVM7xbafE9aaUc7yvfz
         /978WFc1MbxP6bAg7yhcqBQHeD57lPGMjmg8+95WtGkk0zzn4l5K/Xz8ak1njAWnPmUl
         8KpXOCkeQ054yckyA4AGq3XuWXk2RDMuDHpYHSMNLsuG7O+Hmv5cYOx0yl5W1sVqHf8b
         wLzg==
X-Gm-Message-State: ALoCoQmvXxul75Pprw+IUnxCVgRHJK3eiCnn+SNd+YKatxQg3xbkcLS/5ZstGZZZBfrMCNjuzqmIoPPXuDKrURP1E6gh8ve0PgmplNzKl1F5OU91dXC/ALwa2OGEz6JKLSd2h9yr5PihfYl9zENYSEI2huEsTTBIKw==
X-Received: by 10.107.15.96 with SMTP id x93mr8213827ioi.75.1424610759113;
 Sun, 22 Feb 2015 05:12:39 -0800 (PST)
References: <7ef509ef10bb345c792f9d259c7a3fbb@mail.gmail.com>
 <CAAyV7nHq_-9jyRcwJmiAxthmEo3u3MDXcyOC09LV2DETABzCoA@mail.gmail.com>
 <8250289916f5128b5bc1a114428d374e@mail.gmail.com> <CAAyV7nHAicJCQU87YkhZ700a=k4MRqVJtMV-mG4F0MQsn82OfQ@mail.gmail.com>
 <CACQesk5cqzWD4jGSsv7b1ZoiinL7vyC5ZSZ2nemTMuKfUwqk2Q@mail.gmail.com>
In-Reply-To: <CACQesk5cqzWD4jGSsv7b1ZoiinL7vyC5ZSZ2nemTMuKfUwqk2Q@mail.gmail.com>
MIME-Version: 1.0
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQKcPg+jpyYspJS11b5G1A7RBHpKTgFW66vOANg4ZZIBOJUt6QGCFVBlmz11PBA=
Date: Sun, 22 Feb 2015 15:12:38 +0200
Message-ID: <dbcd8c399e21fdd2fdb661d730bc7fc6@mail.gmail.com>
To: Etienne Kneuss <colder@php.net>
Cc: PHP internals <internals@lists.php.net>, Anthony Ferrara <ircmaxell@gmail.com>
Content-Type: text/plain; charset=UTF-8
Subject: RE: [PHP-DEV] Coercive Scalar Type Hints RFC
From: zeev@zend.com (Zeev Suraski)

From: Etienne Kneuss [mailto:colder@php.net]
Sent: Sunday, February 22, 2015 3:00 PM
To: Anthony Ferrara; Zeev Suraski
Cc: PHP internals
Subject: Re: [PHP-DEV] Coercive Scalar Type Hints RFC


> The question is rather: at what weight should we take (potential/future)
> external tools into account when developping language features?

Agreed!  My answer - "Static Analyzers need to be designed for Languages,
rather than Languages being designed for Static Analyzers".

Will send additional thoughts on Static Analysis on a separate, off-list
email to put this argument to rest as both Anthony and agreed to.

Zeev