Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81094
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.51 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <68518A5F-4A11-4D93-914D-760A4CB447E8@ajf.me>
References: <002601cff777$eb923430$c2b69c90$@tutteli.ch> <68518A5F-4A11-4D93-914D-760A4CB447E8@ajf.me>
Date: Sun, 25 Jan 2015 03:33:47 +0900
Message-ID: <CAGa2bXYESv7bCZYgsRV6PjQ8A3HXHCMi6c0ndPrXwCOZbgVKbg@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Robert Stoll <php@tutteli.ch>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113a2aa2bc2bf0050d6a2774
Subject: Re: [PHP-DEV] Types on the right or on the left
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a113a2aa2bc2bf0050d6a2774
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi all,

On Tue, Nov 4, 2014 at 12:39 AM, Andrea Faulds <ajf@ajf.me> wrote:

> > On 3 Nov 2014, at 15:07, Robert Stoll <php@tutteli.ch> wrote:
> >
> > It adds the type hint on the right hand side of the function (of the
> identifier). In contrast to parameters where the
> > type hint is placed on the left hand side of the identifier.
> > Mixing both, having some types on the left and others on the right,
> seems like another inconsistency in the language
> > design to me.
>
> These inconsistencies exist for two reasons:
>
> - Opposition to doing it the other way
> - Hack already doing it this way
>
> I don=E2=80=99t think `function void foo();` will happen, since that=E2=
=80=99s been
> previously rejected as it breaks gripping for =E2=80=9Cfunction foo=E2=80=
=9D. Similarly, I
> don=E2=80=99t think `public $foo: Foo;` will happen, given Hack does it a=
s `public
> Foo $foo;`.
>

I agree with Andrea.

There are people who dislike syntax, and/or thinks PHP missing check(i.e.
array format, etc). These people should request DbC.
DbC is more powerful than simple type checks and have no performance
penalty in production. (I'm not saying type hinting is
useless. I'll use it where it is appropriate, too.)

I wish I have time for diving into Zend code, but it would not happen in
short term. Therefore, I'm hoping someone to implement DbC :)

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a113a2aa2bc2bf0050d6a2774--