Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83125
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.215.44 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAPwsocF55ZgYXr+QdP-vny4qVApoNm7aE6=NCJME=uSUBzZLqw@mail.gmail.com>
References: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
	<CAPwsocF55ZgYXr+QdP-vny4qVApoNm7aE6=NCJME=uSUBzZLqw@mail.gmail.com>
Date: Wed, 18 Feb 2015 16:50:26 -0500
Message-ID: <CAAyV7nFWFjzSUEGpsUmmxhp3S7cxRB1R8thi6B2hX2MCZkrguQ@mail.gmail.com>
To: Leigh <leight@gmail.com>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC-Discuss] Scalar Type Declarations v0.5
From: ircmaxell@gmail.com (Anthony Ferrara)

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...?

> 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