Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78662
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.18 as permitted sender)
Message-ID: <545919A0.6080800@gmx.de>
Date: Tue, 04 Nov 2014 19:23:28 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0
MIME-Version: 1.0
To: Andrea Faulds <ajf@ajf.me>, Chris Wright <cw@daverandom.com>
CC: Stas Malyshev <smalyshev@sugarcrm.com>, Robert Stoll <php@tutteli.ch>, 
 PHP Internals <internals@lists.php.net>
References: <002601cff777$eb923430$c2b69c90$@tutteli.ch> <CAFMT4NqJDcek6itqAUt2iOyHd2icc-tDdWsEjiRYvG1YFcc5cw@mail.gmail.com> <000601cff80a$972e0250$c58a06f0$@tutteli.ch> <5458937F.9020304@sugarcrm.com> <0776A65F-D49A-4E8C-9771-6B5E5C4EA77E@ajf.me> <CAGAGxbYhQ5iHdXnNk3vj33iapzV2A5NoYtCct1-=wbUb-oN+wg@mail.gmail.com> <28A749C7-A600-4C7A-86A9-7166F2955EE0@ajf.me>
In-Reply-To: <28A749C7-A600-4C7A-86A9-7166F2955EE0@ajf.me>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] Types on the right or on the left
From: cmbecker69@gmx.de (Christoph Becker)

Andrea Faulds wrote:

> For parameters, the type is of the thing itself:
> 
>     function foo(Foo $foo, Bar $bar);
> 
> Here, $foo is of the type Foo, and $bar is of the type Bar.
> 
> But say if we were to add return types like this:
> 
>     function FooBar qux();
> 
> The type of qux isn’t a FooBar, it’s a function (more accurately, an argument-less, return-anything function). FooBar isn’t what qux is, it’s not qux’s type, merely what it returns. In a sense, I’d say there’s already a type here: `function`.
> 
> Compare it to this:
> 
>     function qux(): FooBar;
> 
> FooBar is what qux returns, `function` is what qux is.
> 
> If we were to hypothetically add typed properties with the same syntax Hack has, they’d look like this:
> 
>     public Foo $foo;
> 
> This would be consistent with parameters. And I think it goes along well with return types at the end:
> 
>     public Foo $foo;
>     public function foobar(): FooBar;
> 
> Here, it’s clear the second item is a function, and the previous item is a property of type Foo.
> 
> …but hey, I could be wrong. Does this make sense to anyone?

To me it makes sense.  However

  Foo function foo(Bar bar) {}

also makes sense, as the type of bar would be "Foo function(Bar)".

-- 
Christoph M. Becker