Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113487 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 32619 invoked from network); 11 Mar 2021 23:34:44 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 11 Mar 2021 23:34:44 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 74C701804B8 for ; Thu, 11 Mar 2021 15:27:21 -0800 (PST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.2 required=5.0 tests=BAYES_20,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, 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-wm1-f49.google.com (mail-wm1-f49.google.com [209.85.128.49]) (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 ; Thu, 11 Mar 2021 15:27:20 -0800 (PST) Received: by mail-wm1-f49.google.com with SMTP id m20-20020a7bcb940000b029010cab7e5a9fso14709812wmi.3 for ; Thu, 11 Mar 2021 15:27:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:user-agent:in-reply-to:references:mime-version :content-transfer-encoding:subject:to:from:message-id; bh=nFojM4t1ZQQNfJuMA013+bfrah3lQjpSAcr3rFsGWvA=; b=eSXsZq/tLFXSsPkauqlZMxViuVwU7hWBZYYYBG56Oz+AkPKo2K/1eaQ41jwrJkehri H38EamhNshI/nKtr82JcXRCaGGvZ/HHw/CXFERHxYDdeOrxv/whFrV+buSpEpqZ3Hj3j ASOJlDXW99zrPKd4yi7IQJrP6RTWK2BI8QwTTpI6uxei+97fN+xxnwbEVFxI4+VgCtSC lX54aWDeg3rkJjJJtBX+0X/T72g0Aus0P4J9hsW0ssdhb3v6dHfvSpKehky18JJizSaT 1RlJRSGOlT2VwYmXKCIv28ufzuQ1e5sahXYXUi0Tw7XtBITOGULcm7/jT4EKmYeYP/Ge 9d6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:user-agent:in-reply-to:references :mime-version:content-transfer-encoding:subject:to:from:message-id; bh=nFojM4t1ZQQNfJuMA013+bfrah3lQjpSAcr3rFsGWvA=; b=lS4ur/OMp3l2qJPbFTQzNhjFhOlKgTAgsbFGI6N1p0MwzicfUyo5xifsuAGtqJZkJj aQVJ3yhyfasrRyud1SqC0ADSyKckq4+zGnyh4BoAME6a1G0Tm6vYugqC6AhupNUV5ZeR sUwJ8jagrb936B3Pth9sVTEit6sGqmd5Hjzc2GKsAfGVprQ+2wMG/rfFwEFw2N2xxM4R D9Xl3QuReYVW2PsAq+IsPcpokpM35RzidyPjbFSp9RLsLJc8NpddaQbFjAmft7+FuPMA mOrbLbMUT8+GDnLRld8xNg8ATh+ZGZVw/9uaCddT+Kbv1xqhmCXraUQu4im3iVl3EO43 MSBg== X-Gm-Message-State: AOAM533eCjspaWTcwHMwzN6DK2VnpBwfalhc3aEqBr05C0gGDj96PLyp Q/6z1FIZK39LM07ChqelRRWGszG29OU= X-Google-Smtp-Source: ABdhPJwE95ehyhabKP3Tg1O3J4ZjaFpAkwnNtTVEUqqXblzeVbkWg//Ajb0BRfKmqwfbiBheXyTZnQ== X-Received: by 2002:a1c:3c02:: with SMTP id j2mr10326487wma.92.1615505237306; Thu, 11 Mar 2021 15:27:17 -0800 (PST) Received: from [192.168.0.27] (cpc104104-brig22-2-0-cust548.3-3.cable.virginm.net. [82.10.58.37]) by smtp.gmail.com with ESMTPSA id r11sm5614683wrx.37.2021.03.11.15.27.16 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 11 Mar 2021 15:27:16 -0800 (PST) Date: Thu, 11 Mar 2021 23:27:16 +0000 User-Agent: K-9 Mail for Android In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable To: internals@lists.php.net Message-ID: Subject: Re: [PHP-DEV] [RFC] noreturn type From: rowan.collins@gmail.com (Rowan Tommins) Hi Dan, While I have some sympathy for your first point: >I (and others) brought this up during the void RFC: >https://news-web=2Ephp=2Enet/php=2Einternals/88990 and said that null was >the right choice over void, as it matches what the language actually >does=2E I disagree with your second, which doesn't follow at all: >That would have left void available to mean 'this function' does not >exit normally=2E Using "void" for this would be even more confusing than what we have now= =2E If anything, "void" should have been reserved for an implementation tha= t checked correct usage at the call site, as happens in other languages=2E = Although, if someone can come up with an implementation of that, adding it = with a suitable lead in time would still be possible=2E It's also something of a moot point, since even if we introduced a null re= turn type (which would be a subtly different feature from void as currently= implemented), we couldn't suddenly repurpose a keyword that's already used= =2E So if you think "never returns" is something worth representing, it wil= l need a new keyword, several options for which have been proposed=2E Regards, --=20 Rowan Tommins [IMSoP]