Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83446
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.214.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <e7bfa71fe190a2577b329092b46da5dd@mail.gmail.com>
References: <7ef509ef10bb345c792f9d259c7a3fbb@mail.gmail.com>
	<CAAyV7nHq_-9jyRcwJmiAxthmEo3u3MDXcyOC09LV2DETABzCoA@mail.gmail.com>
	<8250289916f5128b5bc1a114428d374e@mail.gmail.com>
	<CAAyV7nHAicJCQU87YkhZ700a=k4MRqVJtMV-mG4F0MQsn82OfQ@mail.gmail.com>
	<e7bfa71fe190a2577b329092b46da5dd@mail.gmail.com>
Date: Sun, 22 Feb 2015 01:20:25 +0200
Message-ID: <CAPhkiZy=nj-jpazZfKTTFnvMZRFk1F94qbOCka6Mqih3znmo9g@mail.gmail.com>
To: Zeev Suraski <zeev@zend.com>
Cc: Anthony Ferrara <ircmaxell@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Coercive Scalar Type Hints RFC
From: narf@devilix.net (Andrey Andreev)

Hi,

I intended on replying to this thread at a later stage (and probably
will), but I just can't ignore this one:

On Sun, Feb 22, 2015 at 12:02 AM, Zeev Suraski <zeev@zend.com> wrote:
>
> Secondly, there you are:  http://www.checkmarx.com/ - they've been
> developing pretty amazing static analyzers for PHP for years, and without
> any type of scalar hints - strict or weak.
>

Having used that product, I can tell you that it's not at all that
amazing for PHP (maybe it works well for other languages, don't know),
and that's an understatement. In fact, a lot of what it does is to
force you into explicit casts.

Cheers,
Andrey.