Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78684
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: <54591231.1030801@sugarcrm.com>
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>
	<54591231.1030801@sugarcrm.com>
Date: Tue, 4 Nov 2014 13:18:04 -0800
Message-ID: <CAFp3-p-8gU0xo=6iCG8Ca-JSggSNvqYvNsLuhUBfWKyv8m5OAw@mail.gmail.com>
To: Stas Malyshev <smalyshev@sugarcrm.com>
Cc: Andrea Faulds <ajf@ajf.me>, Robert Stoll <php@tutteli.ch>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c3f860b60ffc05070eff76
Subject: Re: AW: [PHP-DEV] Types on the right or on the left
From: jelle.zijlstra@gmail.com (Jelle Zijlstra)

--001a11c3f860b60ffc05070eff76
Content-Type: text/plain; charset=ISO-8859-1

2014-11-04 9:51 GMT-08:00 Stas Malyshev <smalyshev@sugarcrm.com>:

> Hi!
>
> > I thought it was inconsistent, but after discussions on
> > StackOverflow, I don't think it actually is.
>
> If you specify the type once as "Foo something" and once as "something:
> Foo" then I don't see how there's even a place for discussions that it's
> inconsistent.
>
> > Return types describe the return type of a function, not the type of
> > a function.
>
> Given that in PHP functions do not have types, not being objects of the
> language, this seems to be argument invented just to ignore the
> inconsistency.
>
> Moreover, in languages where functions do have types - e.g. ML for
> example - the return of the function is specified in exactly the same
> manner as parameter type, and type of the function itself is never
> specified explicitly, but if needed, it is referred to with different
> syntax (->). See: https://en.wikipedia.org/wiki/Standard_ML
>
> Same situation with ActionScript:
> https://en.wikipedia.org/wiki/ActionScript
> both parameters and return type use ":" and nobody thinks that specifies
> type of the function - as, again, nobody ever specifies type of the
> function as such. In fact, I can remember no language that would specify
> type of the function (as opposed to parameters + returns) when declaring
> a function, even among languages with first class functions.
>
> Haskell does:

length :: [a] -> Int
length [] = 0
length (_:xs) = 1 + length xs


> > Also, it's worth bearing in mind that `public Foo function` was
> > rejected previously.
>
> Many things were rejected previously, but the RFC does not bring any
> argument about it and never even mentions it as far as I can see.
>
> --
> Stanislav Malyshev, Software Architect
> SugarCRM: http://www.sugarcrm.com/
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a11c3f860b60ffc05070eff76--