Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:114200 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 82397 invoked from network); 27 Apr 2021 15:01:07 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 27 Apr 2021 15:01:07 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 3CE5B180501 for ; Tue, 27 Apr 2021 08:05:23 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-lj1-f171.google.com (mail-lj1-f171.google.com [209.85.208.171]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Tue, 27 Apr 2021 08:05:22 -0700 (PDT) Received: by mail-lj1-f171.google.com with SMTP id o16so68525101ljp.3 for ; Tue, 27 Apr 2021 08:05:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=hAAAyRE0AoNtnugsPqr70bzhQQM9LsE+UZFMX+quxsA=; b=A7xlU6KKJj/B0FOodsp4EAfmgyil1+kxO5z6w/shYhLKv2+G2+H8VCVkH2BRdcH9T2 /nBTYiay3RRMmwue87KHgC3MPm6pFSyiCdRPubyyjQ19TJiO32qS+i04KDqR82UDZ5/Q rdUOyh72Nmfm177InPk9LhXWwCj0WJXZGSuz47lWYSdLVvptyFvsl5SbQua915LPJdDu DmsOE7zARzh46/i6tuFarNCpMwc4jjgRBDUaS2YpV5D1JOffbM66Qx74GJ9J+rBCNx0J vn13vQc9TGTrKaYKg69tHQQ+WrhGHLs4Db+Rndf9CxxIp7Iiio4xxzmYt3pWsrPnzbZr +7Tw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=hAAAyRE0AoNtnugsPqr70bzhQQM9LsE+UZFMX+quxsA=; b=B8ZJ6PhwF7BZ75jO4goueIKxGQIBKV0UelJcqLk0v3xlA1sIY+zS7pAAEhHJRs6big 1LwOie8j6ZqHmBv5gx4b9KbCX6bKu8qETZ1IDNPDeA5HXSotOd+B1eoFCdfjbAcX/qwb AkgfrYkuGldSGdikH9o0SB7XXoL5a6NaBHwQCadI8Sfgy3udYjknhioleXyNk6Ib0c84 II268MTKYCIJ3ARAjRxOEShT/A5ieDuGr4AXMZamJALb9DioQJ9VlAAb4jMpf8vNrszK altTiKcuemcQUgMRDzCc2v+SdfQd7xmzDq1zwmYxwSQhfAITMHsYmtx4cVHwGbmMh8Te a5Yw== X-Gm-Message-State: AOAM533dMqq5as6MnHSFevDKZAQobd6OGUXwNtgoTcLqyuxAvukSdMg4 Polhy65HTsID8bJt3IVh1S8hBwzw4BcqKRUJ779kn6U= X-Google-Smtp-Source: ABdhPJxw6Zk0Cvh/2HGLsvR4inU5baVqSA33Gjb+O9jINqMu5sDX/XisWA8CcKAsHsqTcJy0/IyDqmp8FQJnigE9dsk= X-Received: by 2002:a2e:8189:: with SMTP id e9mr16611799ljg.22.1619535920957; Tue, 27 Apr 2021 08:05:20 -0700 (PDT) MIME-Version: 1.0 References: <5b9f1500-615a-48f1-815f-1d48b327ef90@processus.org> <179049b1475.11134368b213512.254739612773841999@void.tn> In-Reply-To: Date: Tue, 27 Apr 2021 17:05:10 +0200 Message-ID: To: Christian Schneider Cc: PHP Internals Content-Type: multipart/alternative; boundary="000000000000450af405c0f597e7" Subject: Re: [PHP-DEV] [RFC][Draft] Sealed Classes From: guilliam.xavier@gmail.com (Guilliam Xavier) --000000000000450af405c0f597e7 Content-Type: text/plain; charset="UTF-8" Hi, On Mon, Apr 26, 2021 at 9:54 AM Christian Schneider wrote: > Am 25.04.2021 um 05:47 schrieb Larry Garfield : > ... > > sealed class Maybe permits Some, None { > ... > > } > > > > final class None extends Maybe {} > > This is exactly the thing I'm worried about. > > Say I want to add something like logging to the None type. > Now your sealed and final classes prevent me from defining MyNone > extending None even though it would be 100% compatible with None. > I just want to note that this has nothing to do with Maybe made sealed (which seems legit), only with None made final (which... could be debated, but unrelated to the RFC at hand). Regards, -- Guilliam Xavier --000000000000450af405c0f597e7--