Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:80068
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.178 as permitted sender)
MIME-Version: 1.0
Reply-To: marcio3w@gmail.com
In-Reply-To: <CAH-PCH5MD3FoiWj0uqhzNNtqVG3y+GPri4F4Qv1E6hpA1+4WZQ@mail.gmail.com>
References: <41D5BB0B-73AF-488E-968D-90B2878E3178@ajf.me> <CAF+90c-uiLj1QoT+dXfd1obRXNcYcpBAJ-aU59yEXk+HYNZRFw@mail.gmail.com>
 <C0E1AD78-1275-4C0D-81DE-7EF4399216C8@ajf.me> <CAOsHV+tArSfKv5+RPv0=pNvSJNPT16oUDCzmVGpf5+hhhV5Xzg@mail.gmail.com>
 <CAH-PCH5MD3FoiWj0uqhzNNtqVG3y+GPri4F4Qv1E6hpA1+4WZQ@mail.gmail.com>
Date: Thu, 1 Jan 2015 15:16:59 -0300
Message-ID: <CAOsHV+sJfVcoGRaabP3zbFVuq+JdxJ+W6Dq+rUwMpoByEqkxew@mail.gmail.com>
To: Ferenc Kovacs <tyra3l@gmail.com>
Cc: Andrea Faulds <ajf@ajf.me>, Nikita Popov <nikita.ppv@gmail.com>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1133b04a1fcd8b050b9b3cf4
Subject: Re: [PHP-DEV] [RFC] Scalar Type Hints
From: marcio.web2@gmail.com (Marcio Almada)

--001a1133b04a1fcd8b050b9b3cf4
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

> for the record this was proposed (as an idea) previously with the exact
same syntax(the earlies mention I could find in my mailbox was > from
Derick from 2009: http://comments.gmane.org/gmane.comp.php.devel/57653 but
I remember seeing it every time when this
> discussion happens).
> If somebody is interested in previous attempts/discussion on the topic,
here are some links for starters:
>
http://nikic.github.io/2012/03/06/Scalar-type-hinting-is-harder-than-you-th=
ink.html,
http://blog.ircmaxell.com/2012/03/parameter-type-casting-in-php.html,
https://wiki.php.net/rfc/parameter_type_casting_hints,
https://wiki.php.net/rfc/typechecking

Ferenc Kovacs, thanks for referencing it up! I wasn't aware this proposal
was so recurrent. Anyway, this seems to be the most interesting solution we
could have now without compromise against the long awaited strict type
check in the future. One big plus is that "parameter type casting" wouldn't
offer any bc break and therefore is much easier to pass.

Backed up by all the references Ferenc Kovacs listed, I'd like to
suggest Andrea
Faulds to use parameter type casting syntax for this RFC.

Regards M=C3=A1rcio Almada
https://github.com/marcioAlmada


2015-01-01 13:36 GMT-03:00 Ferenc Kovacs <tyra3l@gmail.com>:

>
>
> On Thu, Jan 1, 2015 at 4:59 PM, Marcio Almada <marcio.web2@gmail.com>
> wrote:
>
>> The battle between strict type declarations vs coercive has been here fo=
r
>> a
>> while. My problem with coercion in detriment of strictness is
>> that sometimes you DON'T WANT TYPE CASTING AT ALL. This new feature woul=
d
>> create serious impediments. So I wonder if we couldn't have both (strict
>> and coercive types declarations) and leave the current proposed type
>> hinting syntax reserved for strict type declarations? Like in:
>>
>>     function(int $a, (int) $b) {
>>          // $a will be strict
>>          // $b will be type casted
>>     }
>>
>> This way we can actually choose when to cast and when to be strict and
>> both
>> features could be voted independently without affect each other possible
>> future adoptions.
>>
>
> for the record this was proposed (as an idea) previously with the exact
> same syntax(the earlies mention I could find in my mailbox was from Deric=
k
> from 2009: http://comments.gmane.org/gmane.comp.php.devel/57653 but I
> remember seeing it every time when this discussion happens).
> If somebody is interested in previous attempts/discussion on the topic,
> here are some links for starters:
>
> http://nikic.github.io/2012/03/06/Scalar-type-hinting-is-harder-than-you-=
think.html
> http://blog.ircmaxell.com/2012/03/parameter-type-casting-in-php.html
> https://wiki.php.net/rfc/parameter_type_casting_hints
> https://wiki.php.net/rfc/typechecking
>
> --
> Ferenc Kov=C3=A1cs
> @Tyr43l - http://tyrael.hu
>

--001a1133b04a1fcd8b050b9b3cf4--