Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82099
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 192.64.116.200 as permitted sender)
Content-Type: text/plain; charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\))
In-Reply-To: <CAB6YZuy-FFERAqcOjtyiizzwUZb6qrnMw8FCf8zur1wsL37Opg@mail.gmail.com>
Date: Sat, 7 Feb 2015 20:47:02 +0000
Cc: PHP Internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <9E1C2427-0295-4F3E-BD29-04DA84321067@ajf.me>
References: <8703B53E-2C4A-4AC6-95C4-D4F19C6D5221@ajf.me> <CAB6YZuy-FFERAqcOjtyiizzwUZb6qrnMw8FCf8zur1wsL37Opg@mail.gmail.com>
To: =?utf-8?Q?Pavel_Kou=C5=99il?= <pajousek@gmail.com>
Subject: Re: [PHP-DEV] [VOTE] Scalar Type Hints
From: ajf@ajf.me (Andrea Faulds)

Hi Pavel,

> On 7 Feb 2015, at 10:57, Pavel Kou=C5=99il <pajousek@gmail.com> wrote:
>=20
> On Thu, Feb 5, 2015 at 9:14 PM, Andrea Faulds <ajf@ajf.me> wrote:
>> Good evening,
>>=20
>> At long last, I=E2=80=99m going to put the RFC to a vote. It=E2=80=99s =
been long enough - I don=E2=80=99t think there needs to be, or will be, =
much further discussion.
>>=20
>=20
> I just realized it now (I brought it up in a different manner when
> there was discussion about the RFC), but I didn't notice there was a
> totally false statement about it in the RFC itself. You probably
> should fix it. I'm speaking about the "Strict type checking, which is
> used by many popular programming languages, particularly ones which
> are statically-typed, such as Java, C#, Haskell, or Facebook's Hack.
> It is also used for non-scalar parameter type hints in PHP. With this
> approach, an argument is only accepted if its type is exactly the same
> as the parameter." paragraph.
>=20
> This is NOT true (at least for C# and Java), as you can read here in
> the documentations of respecitve languages so you should not compare
> the strict version of the typing implemented in PHP with other
> strongly typed languages, because the PHP's "strict" is stricter than
> strongly static typed languages. I really hope noone voted with the
> thought that the strict typing acts as it does in Java and C#.
>=20
> https://msdn.microsoft.com/en-us/library/y5b434w4.aspx
> http://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.1.2

I don=E2=80=99t think it=E2=80=99s unfair. There=E2=80=99s a limited set =
of permitted conversions in some strictly-typed languages, but it=E2=80=99=
s still strictly-typed.

Thanks.

--
Andrea Faulds
http://ajf.me/