Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:20253
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Date: Tue, 22 Nov 2005 23:44:53 +0100
Reply-To: Marcus Boerger <helly@php.net>
Message-ID: <984084010.20051122234453@marcus-boerger.de>
To: Matthias Pigulla <mp@webfactory.de>
Cc: internals <internals@lists.php.net>
In-Reply-To: <00A2E2156BEE8446A81C8881AE117F192C1C4B@companyweb>
References: <00A2E2156BEE8446A81C8881AE117F192C1C4B@companyweb>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Subject: Re: AW: [PHP-DEV] PDM Meeting Notes
From: helly@php.net (Marcus Boerger)

Hello Matthias,

Tuesday, November 22, 2005, 9:22:16 PM, you wrote:

>> 2.10 Dynamic class inheritance

> Can someone elaborate a little on what this is supposed to be ;)?

Binding static members at run time rather than compile time. See the notes
for an example that shows the difference. Usage example again factories.

>> 5.3 Implement inheritance rules for type hints
>> Issue: Currently we don't check inheritance rules for type-hinted
>> parameters.

> Could someone please explain what exactly is/is not checked?

From=20a typesystem point of view it would be perfectly leagal to change the
typehint in a derived class as long as that respects is-a relation with the
parent. Since the explanation is a bit complex, not what most people expect
we live with the simple disagreement. And since most languages do not
respect this correct or not at all anyway there is obviously no real common
usecase for it. So PHP can live without that too (imo).

Best regards,
 Marcus