Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:129529 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 7FE241A00BC for ; Wed, 3 Dec 2025 21:05:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1764795918; bh=gMNClwDFxETN6VtHBet1rniHxw7DavkL9S6lpbIdefA=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=kCGc1kX5Ejei6tTZY6kXj1zCX0dPElyHFR+oOjnIQa6gHSD/nvOPIX4HSHTzAzzw2 BckXTslWYdf+GkxScqoBoo0D5lkXQOY4hd/enZ95pzrj6rMICcHoASwYCbn6fAwQQZ qIihtrSsdT5rYakDREAuNMwTrBQ7pbyGoYyRNMztcx3jQlDvi2VN37N0z+0BpuQkvr u/9qfEnM5putskH//Y9gfilL4VFkCTjHU9jzHZPfDGdcDPpa4+KWOAtY92+/1iL1yW jx7e2w8UbwPayNkQn2piSiE7tt4THhc+AhfPUot2U1GOThGR40Qg6VUAuC1QHMdh84 85dLe/sPp5Bsw== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 11050180084 for ; Wed, 3 Dec 2025 21:05:17 +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_MISSING,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=4.0.1 X-Spam-Virus: No X-Envelope-From: Received: from premium76-5.web-hosting.com (premium76-5.web-hosting.com [162.213.255.108]) (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, 3 Dec 2025 21:05:16 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=pmjones.io; s=default; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date: In-Reply-To:From:Subject:Mime-Version:Content-Type:Sender:Reply-To:Content-ID :Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To: Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe :List-Post:List-Owner:List-Archive; bh=yG1mAAPajyJGqR7iujK8rQCWWJuoG7zvFyCJY5izNg8=; b=s02OlFsyWPmKJo5WyLqwBqNuj+ +QwVV/LNsn1UMGgwr+MlWnw5Dbz4hB5sno5pK9p+VV9yxX/Zs0SgO7cXCT1ew+P6wLckenAvosVZP p2T3zp4VUcZufvjwC8WXK/7MtZ+R0nUZXS5sqdkz9q+tnYOqzfK5d4YdANqj/JExUmTV1Pqc7aDqv Y9jQMJFdsKyMOuh0JI5DDin3GT2FiLGc+cklPjZhftqrJZJOVJIanBycLL7H9F4v6VduXf6/9PfJB F4FkPuuA2BoEt4IViWd5H6od7o7fxh3OELaej763DRXS3Gw+AZBUnDruJAaTWUpPJ5k6L64j0J56E cRCG+jpg==; Received: from 107-223-28-39.lightspeed.nsvltn.sbcglobal.net ([107.223.28.39]:50800 helo=smtpclient.apple) by premium76.web-hosting.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1vQu2A-0000000Fjnp-15JS; Wed, 03 Dec 2025 16:05:10 -0500 Content-Type: text/plain; charset=us-ascii Precedence: list list-help: list-unsubscribe: list-post: List-Id: x-ms-reactions: disallow Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81\)) Subject: Re: [PHP-DEV] [RFC] Type Aliases In-Reply-To: <87e9d1bf-e407-45c1-9fad-d8759405ab8b@app.fastmail.com> Date: Wed, 3 Dec 2025 15:04:58 -0600 Cc: internals@lists.php.net Content-Transfer-Encoding: quoted-printable Message-ID: <45C95FE8-B0FB-4A22-9460-477533527F41@pmjones.io> References: <87e9d1bf-e407-45c1-9fad-d8759405ab8b@app.fastmail.com> To: Rob Landers X-Mailer: Apple Mail (2.3826.700.81) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - premium76.web-hosting.com X-AntiAbuse: Original Domain - lists.php.net X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - pmjones.io X-Get-Message-Sender-Via: premium76.web-hosting.com: authenticated_id: pmjones@pmjones.io X-Authenticated-Sender: premium76.web-hosting.com: pmjones@pmjones.io X-Source: X-Source-Args: X-Source-Dir: X-From-Rewrite: unmodified, already matched X-Rspamd-Queue-Id: 1vQu2A-0000000Fjnp-15JS From: pmjones@pmjones.io ("Paul M. Jones") Hi Rob, (We've been using a lot of PHPStan type aliasing lately in the = Star-Interop work, so this topic is timely.) Is there some possibility of making the aliases more classlike so they = can be autoloaded? A la: namespace Foo; type number { as int|float; } Then elsewhere: use Foo\number; function sum(number $a, number $b): number { return $a + $b; } Let me know if I've missed something fundamental. -- pmj