Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83159
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAAyV7nFWFjzSUEGpsUmmxhp3S7cxRB1R8thi6B2hX2MCZkrguQ@mail.gmail.com>
References: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
	<CAPwsocF55ZgYXr+QdP-vny4qVApoNm7aE6=NCJME=uSUBzZLqw@mail.gmail.com>
	<CAAyV7nFWFjzSUEGpsUmmxhp3S7cxRB1R8thi6B2hX2MCZkrguQ@mail.gmail.com>
Date: Thu, 19 Feb 2015 13:06:40 +0400
Message-ID: <CA+9eiLsnTar+VqMARbcs2L6-KOQS8QhwNWKDLXu+9wTbTuVXJg@mail.gmail.com>
To: Anthony Ferrara <ircmaxell@gmail.com>
Cc: Leigh <leight@gmail.com>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e015386100d11c7050f6d4106
Subject: Re: [PHP-DEV] [RFC-Discuss] Scalar Type Declarations v0.5
From: dmitry@zend.com (Dmitry Stogov)

--089e015386100d11c7050f6d4106
Content-Type: text/plain; charset=UTF-8

On Thu, Feb 19, 2015 at 12:50 AM, Anthony Ferrara <ircmaxell@gmail.com>
wrote:

> Leigh,
>
> >> Internal Functions Like ceil() Return Unexpected Types
> >
> > My opinion is that functions should return sane types for their
> > intended purpose, and functions that do not should be "fixed".
>
> I agree 100%. I just think that's outside the scope of this proposal.
>
> >> Static Analysis Is Possible With Weak Declarations
> >
> > The advocacy of allowing `accepts_float(returns_int());` doesn't help
> > the cause of static analysers in strict mode.
>
> Java does exactly this and is statically analyzable. So...?
>

PHP is not a language for static analyzes or verification!!!
Strict typing shouldn't be done on language level.
it may be implemented as a custom verification extension, but please, don't
break the language itself.

Thanks. Dmitry.



>
> > Still no mention of a way to enable strict by default. So lets try
> > some different rationale. If I personally want to develop in strict
> > mode, I can do that with this proposal, I can add a declare to the top
> > of every file and be as strict as I like. However not everyone else is
> > going to want to use my code in strict mode, so they will have to go
> > and remove some/all of those strict declarations. (Lets take callbacks
> > being evaluated in the context they are called rather than the one
> > they are created in). I would like a way of enabling strict by
> > default, immutable to scripts so that users cannot be forced into this
> > mode, and lets the radicals and the weaklings* play together in
> > harmony.
>
> I missed that discussion point, so I've just added it:
>
> https://wiki.php.net/rfc/scalar_type_hints_v5#why_not_add_an_ini_setting_for_default_mode
>
> > For the rest of the RFC, I either agree with or have no strong
> > opinions about the points raised.
>
> Thanks for the input :-)
>
> Anthony
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--089e015386100d11c7050f6d4106--