Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85989
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain schlueters.de from 217.114.215.10 cause and error)
Message-ID: <1430224760.5178.2.camel@kuechenschabe>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: internals@lists.php.net
Date: Tue, 28 Apr 2015 14:39:20 +0200
In-Reply-To: <553F7818.1040402@gmail.com>
References: <EC598AEEF641411B949D685DF8262B4E@gmail.com>
	 <CAFMT4Npcjz9kQjfSrKH3JwoyEUqCE6DzWnAaZ5c_idcuVAQ2fA@mail.gmail.com>
	 <A326B86EEE4C4E36B85455E01F355A22@gmail.com> <553DBEC4.7000609@gmail.com>
	 <006c01d081a7$0e600640$2b2012c0$@php.net> <553F7818.1040402@gmail.com>
Content-Type: text/plain; charset="UTF-8"
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] Re: [RFC] Reserving More Types in PHP 7
From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=)

On Tue, 2015-04-28 at 13:07 +0100, Rowan Collins wrote:
> François Laupretre wrote on 28/04/2015 12:32:
> > Bare class names are still recognized and priority is given to class names (if a 'String' class is defined, every 'String' or even 'string' type hints will always refer to it).
> 
> This part is likely to be rather tricky to implement. How do you know if 
> a 'String' class is defined or not?
> 
> The Engine would have to do something like this:

This also becomes funny with code like this:

<?php
function foo(String $bar) {}

foo($bar); // No class Sttttring,,   $bar must be native string
include('some_file_which_defines_a_class_String_maybe_via_autoload_or_sth.php');
foo($bar); // Class String exists, $bar must be of that class
?>

Make things as deterministic as possible.

johannes