Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:99196 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 93187 invoked from network); 26 May 2017 08:54:12 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 26 May 2017 08:54:12 -0000 Authentication-Results: pb1.pair.com smtp.mail=nikita.ppv@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=nikita.ppv@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.172 as permitted sender) X-PHP-List-Original-Sender: nikita.ppv@gmail.com X-Host-Fingerprint: 209.85.223.172 mail-io0-f172.google.com Received: from [209.85.223.172] ([209.85.223.172:35728] helo=mail-io0-f172.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id A9/42-10292-33DE7295 for ; Fri, 26 May 2017 04:54:12 -0400 Received: by mail-io0-f172.google.com with SMTP id f102so5801491ioi.2 for ; Fri, 26 May 2017 01:54:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=tKm2Ucav0teWe4+TDxB0gSr5AAZGvssjtr2iwZ8LUZE=; b=RnAFEGQnygkXYCZ/mFpHkl9hokvUBMpWWieoMPM287JwlTDFlRGU5HwzLjA9J0Bu+A at4vhH/9/pa00VmHGbOfAqkl5CHoWsEhhsF+A95iLCZVC0cpnkctxJXp/pdaeUBwkW8Y Icf9/pPtNaVZqy2g4IN2Rqq5YLyjfcXLTacRfMcE1/q9Udg/D3d31DKixALDNb3CsJR/ 7gNNYKEWZ0q32Kl8bjEgwTRkMbhMQ3Zde+1sESmozVkJpRLF/Epx+BlEXSO/qdQ7ZbQB xm97yWzYENveUfyoh/BgAOzTKnhFnEYxGu4kLirWF3OweEK0/LP5F1nZMJlbgSJ8XNu6 a4JQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=tKm2Ucav0teWe4+TDxB0gSr5AAZGvssjtr2iwZ8LUZE=; b=m7Q0urmLQx/5sUyuGbNGfACptkQ33FzXr146IYyawngVWFi010MdcR6nNbwEM/d8Vl Ujz7DiMi5qYSTuidNvXC8QKXe1O9WjUUzIGSvbEaa4lxMmPRSgIQ58mtNjH3Yl7rNLGj THc3rV6VHZpKIM/neMpJwyVNSI5E4dq4+jhD6LnRnC5NNhQ24LrKioL8w3GKqQ4E9yTo b26kn6D4e2wVxZaWSDQMLZZ4yxfm/6iIUSoiMhLLyy15qJBPJfzC0ZJp1T0BGz0Csulq nJkIwAxrkDsnqddcpw+Jfl92KYt2W8Uin+rCAhqARNNqcIZIOfgQbp/qH9FJeEpdRyHx Vw3Q== X-Gm-Message-State: AODbwcDDHfb5yHXUPePjrSHjjynUaqePMYrA8Yos3Su3cAMDiOaRqG/S 51fLFHuM3oi6UNdSdgvsXmqTbhDFJ0zD X-Received: by 10.107.52.200 with SMTP id b191mr683677ioa.150.1495788849284; Fri, 26 May 2017 01:54:09 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.12.158 with HTTP; Fri, 26 May 2017 01:54:08 -0700 (PDT) In-Reply-To: References: <269187f4-5924-a7cc-9163-40134546451f@fleshgrinder.com> Date: Fri, 26 May 2017 10:54:08 +0200 Message-ID: To: Andrey Andreev Cc: Dan Ackroyd , "internals@lists.php.net" , Rasmus Schultz Content-Type: multipart/alternative; boundary="001a11441808054b980550697b1d" Subject: Re: [PHP-DEV] Parameter type widening RFC From: nikita.ppv@gmail.com (Nikita Popov) --001a11441808054b980550697b1d Content-Type: text/plain; charset="UTF-8" On Fri, May 26, 2017 at 10:35 AM, Andrey Andreev wrote: > Hi, > > On Thu, May 25, 2017 at 11:02 PM, Dan Ackroyd > wrote: > > > > The RFC specifically didn't mention LSP....because that is separate > > from co/contravariance. It's unfortunate for other people to be > > throwing the two around at you with a lack of precision. > > > > Perhaps this was the issue ... I was under the impression that LSP was > used as (part of) the motivation for the RFC. > The RFC respects the variance rules, the variance rules are a direct consequence of LSP. That's why we're talking about LSP in this context. The implication chain is LSP => variance => this RFC. Nikita --001a11441808054b980550697b1d--