Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:102202 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 59891 invoked from network); 8 Jun 2018 09:22:27 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 8 Jun 2018 09:22:27 -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.173 as permitted sender) X-PHP-List-Original-Sender: nikita.ppv@gmail.com X-Host-Fingerprint: 209.85.223.173 mail-io0-f173.google.com Received: from [209.85.223.173] ([209.85.223.173:39440] helo=mail-io0-f173.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 36/78-62758-3DA4A1B5 for ; Fri, 08 Jun 2018 05:22:27 -0400 Received: by mail-io0-f173.google.com with SMTP id f1-v6so15141633ioh.6 for ; Fri, 08 Jun 2018 02:22:27 -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=wHEHM34nZBIa5lNgQzpt6DiyRxuOqKhjngNjdGMx8+o=; b=CUf1Qo1a7f+nSH0Ijcg83M56BZb19aU3SgokJ42j1RatoMW1+q8ua3YdkxEKj/LWK/ c2qVAwQqGDmN/O+3jB7VZ5Eii8pIUCotSWKPkaKNu4Q3zknvESelI/iUPDM9I9P82nyN RCC30//fyUzDukP5oq509cQ8rJNVJwL63Fo5BgybglA6CRhYBGl/JBThMdDb23TW3BWA qtO6Iud2tlj2QWz+wLOF1lzWg830UxbMIEgAHTW3xug9RXwzipbhJ5wuo71cWQeGQXi9 Nc7s6/zglo1bF6L9lSz1R7pO7ZXyP3qbbecTLe9QBK54dZuPaqwq/+QuIb6YnD5AVwFB IteA== 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=wHEHM34nZBIa5lNgQzpt6DiyRxuOqKhjngNjdGMx8+o=; b=XpyKMWgBADZdnm/x1VJaytjIYHKkLw/KYHrCTHPCMsH3omHYY173DvgiXZelSrJit5 VVe8KyJ/BOisE8HKMJOamANe9euhFJHpY0gRPnbhXvVz30VKrDwjdWwDKFCoZm89D7eE Z7ZBseZaVW9yQ7qx1zJpqMx19/lZ4v5ojWitmPrEYEAfQqgs98qi9ZdOGrBuQSErQOrG GICtLPBb8asiMY/Sx2HWJusJlNBcqo5Ke0O/1MTukHkBC4YySJpAWzLo3l7oo2PauyLb 0UpJjY3cFRSnJsup+hEOoesntdL6ER2ngxT34xf89gFfRXKwCSjChtMo3ZarlbRaJmfN PyJg== X-Gm-Message-State: APt69E0GeEcYpcZ3CMvoeLDk+VQgadEYPst6uvIduvIWZdQXRhx8ZmXl jIiAe9J/rjZZtPUR3UysQAFga/TK4wauAXV6Yo0= X-Google-Smtp-Source: ADUXVKJenCiPIc2LJ6n8LDgooBKUwA76UcHiox/Vtw0SfFyyabcSKFgQQ5HrArjDWboOCmtIbQ0DQkWC1ZYi5q+WwNQ= X-Received: by 2002:a6b:c80f:: with SMTP id y15-v6mr4669549iof.187.1528449744769; Fri, 08 Jun 2018 02:22:24 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a6b:ac83:0:0:0:0:0 with HTTP; Fri, 8 Jun 2018 02:22:24 -0700 (PDT) In-Reply-To: References: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at> <3c36b189-108d-bce7-bea0-7a3d6a432607@gmail.com> Date: Fri, 8 Jun 2018 11:22:24 +0200 Message-ID: To: Rowan Collins Cc: Ryan Jentzsch , PHP internals Content-Type: multipart/alternative; boundary="000000000000181b09056e1df09d" Subject: Re: [PHP-DEV] Better types without runtime checking From: nikita.ppv@gmail.com (Nikita Popov) --000000000000181b09056e1df09d Content-Type: text/plain; charset="UTF-8" On Fri, Jun 8, 2018 at 10:50 AM, Rowan Collins wrote: > On 8 June 2018 at 08:29, Ryan Jentzsch wrote: > > > Also, can anyone in internals respond to this inquiry? > https://github.com/ > > php/php-src/pull/1797#issuecomment-394434391 > > > > For ease of reference, that comment says: > > > Is there a document somewhere that summarizes the reasons why this > proposal was rejected? Have any of the items been addressed since then? > > I would be happy to be proved wrong, but I think the answer is almost > certainly "no, but feel free to write one". Documentation is notoriously > the thing that gets put off most easily, and documentation *of a > discussion* is just not going to be at the top of anyone's todo list. But, > all the discussions are public - on that PR thread, and on the discussion > of the RFC on this list (available through any of several archives) - so > theoretically anyone could go through and summarise the key points. > > I know that's not what you want to hear, but it's just human nature - we > had the discussion, reached a conclusion, and moved on with the next topic. > From what I remember, the key points were: * No support for types on static properties. * No support for taking references to typed properties. * Performance: Feature was not *entirely* free if not used. FTR, Bob and me plan to bring this RFC back up for PHP 7.3 soon, with support for static properties and for references. A mostly finished implementation has been lying around for a while already, so we think it's time to wrap this up and give it another try. Nikita --000000000000181b09056e1df09d--