Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:77296
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.52 as permitted sender)
Message-ID: <5419B057.40101@gmail.com>
Date: Wed, 17 Sep 2014 17:01:27 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
To: internals@lists.php.net
References: <CAFMT4Np1BHJf3enkbpOGdY2=+esdyWzVP7o77324L7M_GLc+2Q@mail.gmail.com> <74D45E97-4C96-41FA-B824-BCEBA056C654@ajf.me> <CAFMT4NrnXorDUfMfmKP8K4DQ532uJLyPx+QNqZKBO_08oQwvHA@mail.gmail.com> <A58835A1-D07E-412A-8A35-8A59F5CFBB37@ajf.me> <001101cfd1e1$c1f2df00$45d89d00$@tutteli.ch>
In-Reply-To: <001101cfd1e1$c1f2df00$45d89d00$@tutteli.ch>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: AW: [PHP-DEV] Renaming type-hints to something else?
From: rowan.collins@gmail.com (Rowan Collins)

Robert Stoll wrote (on 16/09/2014):
> I would argue "type declaration" is wrong as well since it is not a type
> declaration as it is known in other languages where the type declaration is
> binding. IMO it is more a "type check". Consider the following
>
> function foo(Bar $b){
>    $b = 1; //$b is not a Bar at all
> }

I tend to think of them as "type assertions", since this:

function foo(Bar $b){
     // do stuff
}

is kind of equivalent to this:

function foo($b){
     assert($b instanceOf Bar);
     // do stuff
}

i.e. it's a runtime-enforced check