Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113881 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 15621 invoked from network); 31 Mar 2021 13:55:46 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 31 Mar 2021 13:55:46 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 8EBFF1804F6 for ; Wed, 31 Mar 2021 06:53:18 -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-vk1-f171.google.com (mail-vk1-f171.google.com [209.85.221.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 ; Wed, 31 Mar 2021 06:53:18 -0700 (PDT) Received: by mail-vk1-f171.google.com with SMTP id h136so4361541vka.7 for ; Wed, 31 Mar 2021 06:53:18 -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=20SaIZhZycpSrBFTKug3Fj2XYU/jLsGwbPk4U7fP/6g=; b=u6jf6wJIt393H4hR0jmmdF4dOQQr3/56w0BowMmpka8eqZ5Zr1ZeRv4RJhdLFBe3WL Yz8DlRcIpL7MAm7vcIf+dQ6yEZOasoETPxwUCebZbZOdULGeHfOVabKT+dFIOACupyXr jqfSw1G6Rs/X/0KKI4Qw3IDvN/nuH4mn+doHGBDuac5zy/UyYlhT/cOeOda62MGu23D5 3OktLcij6KLSEHBNYvlh5O9OViHKPmiGZxUN5EWTO4brsEALg1w073juonWb4nzk3s2Q cck6ZvoKMq3twHJZgf+1meqzqwHYU08gBGufIOJbDK4yFhHatxCGsNDTKZ+yQjetlPHl NQVw== 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=20SaIZhZycpSrBFTKug3Fj2XYU/jLsGwbPk4U7fP/6g=; b=D7bP6oz4ZKE6te5zUr0MDA6urYOypZXFJQCmorU2iUdcDM0VpSh8iuUiJnVrRb8jXp d3LWzDgi4YaRWlVhj8/0YsqMGnc0MtHeQmzjg2BOksQVZNCTUTnAt/o9AH5ZRlTud5Eg Uud+0hQLeiGDDCVqzX3uGvdZ/Q0sDNNslXig5QCUbYIDasSkeeWWZAnyB4Q4js6mFZMn jsRAmBhytTFm8H7dWvQAfUZy4x54utBTDZ9wQMUot6rfevHYNObdPIYzc4W4wO//sPbS OLL0dIs9vfsXUdtNS3blG5fzYA9k2vCX26sdKxnxJm4l19eh7P1yrGo/qSpJF9wWHBhx nyAA== X-Gm-Message-State: AOAM530zYqAST3CINma9+BQbF/yMT/rJckNGEF9SxgTs3OCHNMNH3M3Y HXTbrBy3lUYAmm8YlbR2b1wQMMd7HoMvAp7ctic= X-Google-Smtp-Source: ABdhPJzntyE5U/TATI1Igq0LWWT2cZkVw3N97yqFPNXpMQi9vPFz0TSbX5NM3rwW8jZ1AYOCFhT9fhlXujrkNTn0sNI= X-Received: by 2002:a05:6122:688:: with SMTP id n8mr1676483vkq.11.1617198797492; Wed, 31 Mar 2021 06:53:17 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Wed, 31 Mar 2021 09:53:06 -0400 Message-ID: To: Theodore Brown Cc: Internals Content-Type: multipart/alternative; boundary="000000000000db169005bed56ffa" Subject: Re: [PHP-DEV] [VOTE] noreturn type From: matthewmatthew@gmail.com (Matthew Brown) --000000000000db169005bed56ffa Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, 31 Mar 2021 at 09:30, Theodore Brown wrote= : > On Tue, Mar 30, 2021 at 5:24 PM Matthew Brown > wrote: > > > On Tue, 30 Mar 2021 at 12:55, Theodore Brown > wrote: > > > > > On Tue, Mar 30, 2021 at 10:06 AM Matthew Brown < > matthewmatthew@gmail.com> wrote: > > > > > > > Hey everyone! > > > > > > > > The vote for adding noreturn is now open: > > > > > > > > https://wiki.php.net/rfc/noreturn_type > > > > > > > > Voting will run through April 13th > > > > > > Hi Matt and Ondrej, > > > > > > Thanks for your work on this RFC. I voted for `never` as the type nam= e > > > because it's more amenable to future use cases like compile-time > > > exhaustiveness checks (example: > > > > https://www.typescriptlang.org/docs/handbook/2/narrowing.html#the-never-t= ype > ). > > > > > > As a bonus `never` is more concise, avoids mashing two words together= , > > > and aligns with TypeScript, which I and many other PHP devs also use. > > > > Awesome! The conciseness argument for "never" is already mentioned in > > the RFC, as is TypeScript's use of the term. > > > > Full disclosure (because neither of us is eligible to vote): > > I slightly prefer "noreturn", and Ondrej strongly prefers "never". > > Hi Matt, > > I'm confused by this. If Ondrej strongly prefers `never`, why does the > RFC say "we believe `noreturn` is the best name for this type"? > > It might be better to just remove this sentence, or else list your > separate preferences. > > Thanks, > Theodore I've removed that sentence. Opinions evolved =E2=80=94 I wrote the RFC with the original language favou= ring "noreturn", Ondrej edited it, adding more arguments for "never". Since we published the RFC some in the community have validated his arguments, and I think Ondrej's opinion has become stronger as a result (and mine has become weaker). Whatever happens, I think we care much more that this passes than what it's exactly called. Best wishes, Matt --000000000000db169005bed56ffa--