Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:127574 X-Original-To: internals@lists.php.net Delivered-To: internals@lists.php.net Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5]) by lists.php.net (Postfix) with ESMTPS id 1D27B1A00BC for ; Wed, 4 Jun 2025 08:48:17 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1749026772; bh=P86K9A7YVkYmQYcLQuDUQ0MFEKdyB3HkuES2omALxW4=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=CVzAp8uRVifyXMYpt/m6lQ+weW08gHhQCcf1ifPX2GxRxptQxcIr6LXRfZJTEGhrD Pp0bRKUDKzvRUJn+AJ3WPT0EY8LmU6AY6oYteukwTttSeV1sfTfko+zRn/PsuqFLxg Ds3ij5POcIPdacH54erwQiNU8Uf/OT4RsqceR5GTx2HYktdA40Vr5xQ+dzwsQ71gRB bB8fi1zpURdv4QzoYMzKGxws8N4EXELOKUtfEja/deRa3m+9Ozl3lmAygbMMr5us3V O4s6G1lqOuvw2ny3Y8OAPAUifhPoXjZXZyHbAPgXnLC3HmSFE4Afl8ZTuNcYs+JAHj CY8C/Njc4L6zA== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 56523180042 for ; Wed, 4 Jun 2025 08:46:11 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=4.0.1 X-Spam-Virus: Error (Cannot connect to unix socket '/var/run/clamav/clamd.ctl': connect: Connection refused) X-Envelope-From: Received: from chrono.xqk7.com (chrono.xqk7.com [176.9.45.72]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Wed, 4 Jun 2025 08:46:10 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bastelstu.be; s=mail20171119; t=1749026893; bh=2TrBxz0y4RCUAqBa4yCsmefttXlkGlsdfRFrlMnT/J0=; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:Content-Type:from:to:cc:subject:message-id; b=BHoi1wEhFIyuPuMqOjeUmJ9MdhvV77LwIm2zRF5SJ/K9M7ECIINrmypgCjxcWzCbp jB6+2DzQxje1WpsKwCYU9xVhQ63xCqoL5SWuRlhJa2c6BtRCAUln11slKQqAFeAwCY 86jQUD26YZ+g3zaUj4tizPFXOXZEwJR236Ckc25CoQzb/jVTyjqPs6Vbabn6dI2nnG od+8YqdPdudSegR8guisDAEPK3vfxOCcM87GS6Y68vWDwDRJgx9sSOvjGtHuwL8pBq TG3Q1PYyLlmGl/c6p+z1XNnuXzmxvtfhOLwQDjpTaryBo4wR6uBxiuJM/NpWYZpcTR Fc/ns3kQ/5Eeg== Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net x-ms-reactions: disallow MIME-Version: 1.0 Date: Wed, 04 Jun 2025 10:48:12 +0200 To: "Gina P. Banyard" Cc: Ilija Tovilo , PHP internals Subject: Re: [PHP-DEV] [RFC] Transform void into an alias for null In-Reply-To: <7yeVC5ZrSBpIklddJCWbIApB-mxRpBPasvWFIgoDeXZGXo_kbqdXAdNPEYoe0ajVjA1-P-w2d2JuDdYAN99BShDfnIPiuUqPuB_PbHEdeZ8=@gpb.moe> References: <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe> <7yeVC5ZrSBpIklddJCWbIApB-mxRpBPasvWFIgoDeXZGXo_kbqdXAdNPEYoe0ajVjA1-P-w2d2JuDdYAN99BShDfnIPiuUqPuB_PbHEdeZ8=@gpb.moe> Message-ID: <1549c650b0eb4ef61a03a16ecd652e45@bastelstu.be> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=) Hi Am 2025-06-03 17:42, schrieb Gina P. Banyard: > A type system should be logical, and the fact that the top type (mixed) > is not a super-type of all types doesn't make any sense. I do not consider `void` to be a type per se, but rather as an indicator for the absence of a value. Basically the difference between a “procedure” and a “function” [1]. That's why it makes sense to me to treat `void` differently from the other types. See also: The `(void)` cast which we decided to make a statement rather than an expression that always evaluates to `null`. Best regards Tim Düsterhus [1] https://stackoverflow.com/a/721132