Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:79282
Return-Path: <morrison.levi@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 61686 invoked from network); 28 Nov 2014 16:51:45 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 28 Nov 2014 16:51:45 -0000
Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.170 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 209.85.214.170 mail-ob0-f170.google.com  
Received: from [209.85.214.170] ([209.85.214.170:33369] helo=mail-ob0-f170.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 7F/DF-59154-028A8745 for <internals@lists.php.net>; Fri, 28 Nov 2014 11:51:44 -0500
Received: by mail-ob0-f170.google.com with SMTP id wp18so5270058obc.15
        for <internals@lists.php.net>; Fri, 28 Nov 2014 08:51:41 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc:content-type;
        bh=TlLEMPQ8CvQCLvqa7AHuAX/VQ6n+bcAbBDHyw6/Z+nM=;
        b=S1ds8nuxj6RMDm/acBsocoARQ99sWc4EvPnvlU6dKa0NclCkbSn50UP3ahKGoAp5S6
         vgEXWxn1C88NnlDVVEpjKg2ti+lJ/o3jIi6MZKIjlMsIzQdVqS8TklJ3OvB7RkVXbqmP
         qTuUzqfFbxYnGq2fjCcSuF6hfQsGpWoUYGQWGd4Mdr371e6b5D57Vn9+rHLFTkUpSTnP
         0IboGG0bBGVMn9Fjcs2i/a7TUZdhcTtfg+xgV3NTTPM3GeQhUGfrNex2ZpMdeEVaRme9
         ByEBCnp1D2UFUBUIRoT6z250H03+BoqJcKWfG57PVN7ICXHAuj6SLaNMU1WyuCaYyreR
         211Q==
MIME-Version: 1.0
X-Received: by 10.60.118.170 with SMTP id kn10mr27315330oeb.47.1417193501510;
 Fri, 28 Nov 2014 08:51:41 -0800 (PST)
Sender: morrison.levi@gmail.com
Received: by 10.76.89.237 with HTTP; Fri, 28 Nov 2014 08:51:41 -0800 (PST)
In-Reply-To: <CA+9eiLvz6nLcCuQbxkR4j3KVXOm_rsQFLzfbeMwfU6AGysc0xg@mail.gmail.com>
References: <CAFMT4Npco8sQ-+5hpUNa3pu5L2q7mnCVnsCjZee=NbNDrkwLUw@mail.gmail.com>
	<5477010E.4000000@gmail.com>
	<CA+9eiLvz6nLcCuQbxkR4j3KVXOm_rsQFLzfbeMwfU6AGysc0xg@mail.gmail.com>
Date: Fri, 28 Nov 2014 09:51:41 -0700
X-Google-Sender-Auth: rabI3PP5w3i6TQE6wZgPVFHaUP8
Message-ID: <CAFMT4NoV-Gp+ax+aXpR5Th8cmS+rrvmx7QKD4nw-w-Q9mV79-w@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Rowan Collins <rowan.collins@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC][Discussion] Return Type Variance Checking
From: levim@php.net (Levi Morrison)

> I prefer option (3) - invariant return types.
> Actually, return type compatibility check should follow all the rules for
> parameter type compatibility check (may be even reuse or share the code).

Realistically there isn't much code to share, especially since the two
structures are incompatible. That is, they are incompatible until
`zend_string *` is used in parameters (which I'm hopeful will happen).