Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:122709 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 qa.php.net (Postfix) with ESMTPS id 7A5791A009F for ; Thu, 21 Mar 2024 16:08:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1711037301; bh=bDkfD9bYDlu+EtjgSkruXPVugZ/Rzxxu9aYbycVLL+k=; h=In-Reply-To:References:Date:From:To:Subject:From; b=JG9BnVKts6AH6dMc1zDixrW5G0MgLaEy3mGxZEDRt0lWvMXEVdlFABUllGrURWuXF R62WpDKQ7UDdhzctUEFWNR7MPtg4A1dhYyVZrJNVajZcaTOqXh1CC51a1KlbaXJe9p q751Y7EDbUm9mjXgoWX7xfJwuy7qIZ58PQNObCZCzBLjg72zAkYIqIPtPVLJKowZ/A 2ul+W2OwMb8PGunluxadkJnFvjFlwHC7ZUmSxYorUhsM1k0DdWIC+IOXAFUX3UTsxg cW/0xUxanMbyn0nBDu+wUoUJQ0T+fTkfeUchQZelm8bU/xRJ+Zk7fp2phVROJLjNeg cziUzd/xYoTbg== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 8D18B1809DC for ; Thu, 21 Mar 2024 16:08:19 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.0 (2022-12-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.1 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_MISSING,RCVD_IN_DNSWL_LOW, SPF_HELO_PASS,SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from wout4-smtp.messagingengine.com (wout4-smtp.messagingengine.com [64.147.123.20]) (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 ; Thu, 21 Mar 2024 16:08:16 +0000 (UTC) Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.west.internal (Postfix) with ESMTP id A5BA83200A01 for ; Thu, 21 Mar 2024 12:07:52 -0400 (EDT) Received: from imap50 ([10.202.2.100]) by compute1.internal (MEProxy); Thu, 21 Mar 2024 12:07:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= garfieldtech.com; h=cc:content-type:content-type:date:date:from :from:in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:subject:subject:to:to; s=fm2; t=1711037272; x= 1711123672; bh=R2tlODi5ewp+vE0DsHqcCY8qwIfYr7ah1EaF3JgrbpE=; b=i NqEJ1dbOjbKSWmKKmE1R4Qz319B+JW2ilJxzKtWbeY9Noa19mVqfo/cliqznJjJb s1Sv/Npwb5i04nA+EBwv81+pZroKwxZXaL7nTx8SUyxEbKWcDHSXUNxkqZJJNACy 2/vl2GHIZjafyEnmVFtN5gCB+/plJKpZxFjk/p2ScvKuA/4s4jjXMbVAXBm8pCvD JS80tABSXAUYsIGK7oxBiLfm/frHzRfi4f3P6nviKiy4bittMdpDT7DTHuT91bqH aechfBTguuq/zfDWVB9vz5waHAVJMCzQnUHmYQKorUNC89An73Ije4wFrbNbNssR BeOZtMFeKisn0XiKa+aLQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:content-type:date:date :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:subject:subject:to :to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s= fm2; t=1711037272; x=1711123672; bh=R2tlODi5ewp+vE0DsHqcCY8qwIfY r7ah1EaF3JgrbpE=; b=R0tSvUAS8uigyzBcl75zx87W6eJCkaVHpto9QMUVy8A9 AtBXERTnCM2T1GIQAM8y5NqZ9ji+vK1SBLTPe3CnslKrQILn1tCkGSFSOsDaWxN1 mcs/EpXyxkcCGI2yJXImPf4dYF9JJvdANwCNgdnaUGz6qgk4yNNDBKc0pZB2Tmq+ LM3J/TghLhOIqqkFjNS2GoWUIgEMuvFPqDaRPRBV5OmzREMUGQ85AB6xwGjDd65k 5LNBeCPWOSWXTa+1iAEWgWakQaDbk4Ai/6+h8pKeerCV/0mtvHGXe6IBK1fgCGbI K8zrGsBOnJ4AxUeFVeYGl3a4k7e8AP6vUcrMJOCgOw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvledrleejgddvvdcutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefofgggkfgjfhffhffvufgtsehttdertderredtnecuhfhrohhmpedfnfgrrhhr hicuifgrrhhfihgvlhgufdcuoehlrghrrhihsehgrghrfhhivghlughtvggthhdrtghomh eqnecuggftrfgrthhtvghrnhepveehhedvveejledvvefgleevffdtjeekledvkeegheff gfeivdejhffhledtudetnecuffhomhgrihhnpehphhhprdhnvghtnecuvehluhhsthgvrh fuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomheplhgrrhhrhiesghgrrhhfihgv lhguthgvtghhrdgtohhm X-ME-Proxy: Feedback-ID: i8414410d:Fastmail Received: by mailuser.nyi.internal (Postfix, from userid 501) id CA5741700093; Thu, 21 Mar 2024 12:07:51 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.11.0-alpha0-332-gdeb4194079-fm-20240319.002-gdeb41940 Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net MIME-Version: 1.0 Message-ID: <00754811-ced7-4bf9-8f11-199c068439bf@app.fastmail.com> In-Reply-To: References: <3F78A125-1946-42E2-A4F5-A2B282BE2107@rwec.co.uk> <2d7ec203-6e80-445c-94f4-d29ef58743b1@rwec.co.uk> Date: Thu, 21 Mar 2024 16:07:31 +0000 To: "php internals" Subject: Re: [PHP-DEV] Proposal: AS assertions Content-Type: text/plain From: larry@garfieldtech.com ("Larry Garfield") On Thu, Mar 21, 2024, at 3:02 PM, Robert Landers wrote: > I don't think you are getting what I am saying. > > $a as int|float > > would be an int, float, or thrown exception. > > $a as int|float|null > > would be an int, float, or null. > > Robert Landers > Software Engineer > Utrecht NL Hi Rob. I really do encourage you to read the RFC that Ilija linked to already. What you're proposing is already mostly written (though for performance reasons may be rewritten soon), and the edge cases already largely resolved. https://wiki.php.net/rfc/pattern-matching --Larry Garfield