Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82660
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 49704 invoked from network); 14 Feb 2015 02:35:25 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 14 Feb 2015 02:35:25 -0000
Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.176 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 209.85.214.176 mail-ob0-f176.google.com  
Received: from [209.85.214.176] ([209.85.214.176:46134] helo=mail-ob0-f176.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 99/C5-15073-B64BED45 for <internals@lists.php.net>; Fri, 13 Feb 2015 21:35:24 -0500
Received: by mail-ob0-f176.google.com with SMTP id wo20so26555015obc.7
        for <internals@lists.php.net>; Fri, 13 Feb 2015 18:35:20 -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=oPycCWGZV5x8VCHsKkZepUqBlDWZxkgrFy6lAUQnJeg=;
        b=pjhAlqLgyGSHya7kedFXzUtRwxZxSDwqj4aDHQolR0b/wL8rSzIt8NmnQ6+DKhreQl
         mjyoUlMpu7AVgf7vUlpbK5dUty0fR+3Sji33cET9UkHKN4wOK10StT5tsF2l5lAjx2dH
         uL2gE5swN1KsHvM+Sm+mK0KUsG14uHvZ7J9MUGXCGr7vUbzHazr5pwgKYn3MxL7fPlba
         on7f9dJVtewzQJcXqe7qshChr5eWcKCZlm/7ABddr7R2oNr/1l5OZ4wu+w8bJ2SXuGy3
         Hgb0tjIMdkbjz+sKOELtqWsHhrjZYVRz/FAeZKBBgbzWqRmfM9iDG0bJ9A8KfxXpjJL1
         KOGQ==
MIME-Version: 1.0
X-Received: by 10.202.104.194 with SMTP id o63mr7951493oik.56.1423881320093;
 Fri, 13 Feb 2015 18:35:20 -0800 (PST)
Sender: morrison.levi@gmail.com
Received: by 10.76.90.74 with HTTP; Fri, 13 Feb 2015 18:35:20 -0800 (PST)
In-Reply-To: <A2AE7348-BD33-4B9C-B7BD-F4CEA3C952BD@ajf.me>
References: <CAF+90c9DgfkumH5ADjjykGd4t6Ude1TA70r=C7Vw40xQg3RHrw@mail.gmail.com>
	<A2AE7348-BD33-4B9C-B7BD-F4CEA3C952BD@ajf.me>
Date: Fri, 13 Feb 2015 19:35:20 -0700
X-Google-Sender-Auth: wfeZCe4-0KJLBFSm8hKTMteYU1o
Message-ID: <CAFMT4Nqyj7-VCHRzXHuTWif1N2_Jr-07XDMbdodTSHdhT8fRXQ@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Nikita Popov <nikita.ppv@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Allow dropping typehints during inheritance
From: levim@php.net (Levi Morrison)

If you consider the lack of an explicit type to mean the theoretical
"Any" type which is a supertype of all types then dropping the hint is
a form of contravariance. I would prefer to support normal
contravariance for parameter types in which this is just a special
case. However, I am not sure I would be against it without regular
contravariance support if it came to a vote.