Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63605
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain schlueters.de from 217.114.211.66 cause and error)
To: Christian Schneider <cschneid@cschneid.com>
Cc: Anthony Ferrara <ircmaxell@gmail.com>, internals@lists.php.net
In-Reply-To: <00E072ED-AA8D-4B91-8052-803F1FE73FF9@cschneid.com>
References: <712F4499-949C-4C6F-A142-736A1B156189@gmail.com>
	 <5084281C.9020507@sugarcrm.com>
	 <CAAyV7nFk4dGY1pMvK+SPRHYe=XRJ14J0MYRyJSZCS4Cv-2p+kw@mail.gmail.com>
	 <00E072ED-AA8D-4B91-8052-803F1FE73FF9@cschneid.com>
Content-Type: text/plain; charset="UTF-8"
Date: Tue, 23 Oct 2012 01:32:33 +0200
Message-ID: <1350948753.2361.508.camel@guybrush>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Generics proposal
From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=)

On Tue, 2012-10-23 at 00:57 +0200, Christian Schneider wrote:
> 
> Basically it means that you type more (redundant) stuff to allow the
> compiler to check some errors.

Which we can't do due to PHP's dynamic nature. For the engine to take
benefit from it we'd have to change the language.

All we do,when implementing such a feature is adding a default way so
IDEs and other tools can do their checks and to enforce specific
runtime(!) errors (while in effect all it does is swap one kind of error
(fatal error, not existing function) for another (so called "catchable"
error, wrong type)) at the cost of making some operations, at least
function calls, more expensive (more things to check at runtime - has a
small impact even when not used ... and that while our fcalls are
already relatively expensive ...)

johannes