Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:121490
Message-ID: <92431af8-dcb5-4144-aa23-e4ff81d13f60@alec.pl>
Date: Sat, 28 Oct 2023 09:03:58 +0200
MIME-Version: 1.0
To: internals@lists.php.net
References: <CAHXoPRtjsPzgpYnhB05hjdZo6Q-MDr4TUGbn9LQ77-hKVTCZOA@mail.gmail.com>
 <e94b0021-b18d-4c48-8764-6d4909142b26@app.fastmail.com>
 <ED1ED859-FC81-442D-9A30-EE8D0C639FFD@newclarity.net>
 <CAHXoPRtSEBPEFf1FrkwfqK_keFd7crvACBpm23etZ0ajNz6DDg@mail.gmail.com>
Content-Language: en-US
Autocrypt: addr=alec@alec.pl; keydata=
 xsBNBEy9TtkBCAC4ef0IJaqTDQNQZ5CPrHvNs5kcACvtffwydrTcRJ28dHwjZD8daSxfVYEo
 acyARevTOvsp36Vgq8Yt7ATu6y7MPBaPj9Lq0kwX7HM8QDn8jTfufAgMjxcw5bD+JNR5+8G9
 hUF3F35gVuAd471hS+QB/Ug/PezcNx9H5yFUMuvrO3ybyIDhw5qJI2RoJMjMr5DPKUG7z810
 1e/NW7y9FfHq+Ony7A70w+vcfv1L+LLX5gfrpKI3m0zKm7cj1vyxZfC9RijIzWZN3GgExexI
 KJdbkcg9F/zigKo72TJhgvjy6YZP03HmWZVcpsd3aIT3Tweg0cCivaKVBNcFR1oda6XvABEB
 AAHNFkEuTC5FLkMgPGFsZWNAYWxlYy5wbD7CwHsEEwECACUCGyMGCwkIBwMCBhUIAgkKCwQW
 AgMBAh4BAheABQJMvVAwAhkBAAoJEL7mdKAZNZ3BEhkH/1eAuCOSXsWg8YwZzmABoKKZfNpJ
 Z3QTwAMxXyCPjJMwLMLHsrVO+VbGupFcIW/q/3bvt1r8LwPB73rg0TFiHoYzeQzdnOVYFW7w
 OYz9BDVjLE4goDk6xN5Nj1CpBMXzQFdr3HVKyuRK1CLd9p13CofiBlLsQ4JqtosnlvSCEjTL
 yIajACU3kY2je1e58N5VHzZ+VMeg2xbuQJ3q1iTkYggZ+xRC1muw4Xgt2vxgfWjn7u3dmjYM
 T3H2WFprLZwliejHgzhWdYABdyCU5VuGCLOV+xk2UCADya0hvVVIezA/4YG3w01yjsljRrKy
 HFJUqw+MqagA6dsfflZSvmROKMbOwE0ETL1O2QEIANHbid+rMQ/IX0/UyVtnLWunDEg6Yl2B
 twHTecZ4Ym3tBxc1sbPDoYpY0DZ86gYi9DCbolrdjnrRK9ldYItVJ8rJUkEIDz/2yhjcr3s3
 p2SyI94bocoG0WW+VRlssJMxTB2ihblihkY5HqT+9PgOFxnpSqz1ksTaI3JOVcokidhoB7MJ
 muyb28rNtZCJP7upRUwBSoZfHiL83w3Ad1Fn49QVO7kshH11lNyJ9jB17BTl1I0sj7RPqAor
 JcMxsSOJXW71ZcipXWym+GacY/qziQw7bT9CQYSmr4SiRV7GahD91enDkdv+pUAnb8NEifQ1
 LT26XcL6Ng9EbG5AT4qI46kAEQEAAcLAXwQYAQIACQUCTL1O2QIbDAAKCRC+5nSgGTWdwe2T
 CACaux3lHitD8IIO5fy6RxPqym6vMlKiN0IyilahtJ0A2htNqwbFb6TukpzKw04DGSPEOGPa
 o4hdsLtQtqAPwqrR+FGJDc6V/jD0rPjThC3NcvkJuoi622ZLCsi8TAL5kBmF2NYd7ejszB31
 5EzvpXSeES8+9pv6yshzUborEg9QKhPxW0yvrdj2OwFUlRr6/jLpKmMLzSx5F0yEg10urvfe
 9Sttk5TVzHycOa1nKSzj79F1jXTl/mji/i082s1nlwb8d6LNVrm0e1tGMxSk/WpghFVVSm4O
 MvUvMkEEDkwGsm+mPcmX4UPcvq/wU3hGhDeVlpkfVTJQGvDbEUzTXbz6
In-Reply-To: <CAHXoPRtSEBPEFf1FrkwfqK_keFd7crvACBpm23etZ0ajNz6DDg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Re: Basic Type Alias
From: alec@alec.pl (Aleksander Machniak)

On 27.10.2023 22:42, Oladoyinbo Vincent wrote:
> ```php
> 
> namespace Package;
> 
> typedef MyTypes {
>      type Numeric: int|float|null;
>      type Chars: string|null;
>      type Result: bool|null;
> }
> 
> ```
> 
> ```php
> 
> use Package\MyTypes;
> 
> class Hello {
>      use MyTypes;
> 
>      public function A(Numeric $id, Chars $message): Result
>      {
>      }
> }
> 
> ```

Your typedef is essentially just a trait. One new keyword less. What 
would be missing is direct access to type.

If we indeed allow type inside a class/trait, then natural syntax 
becomes the one used for const/var.

I think your syntax 2 is the worst anyway. Syntax 3 (use-as) will not 
gonna fly as we already have use-as in a conflicting use for classes, 
unless you change it to "use type string|null as NullableString".

I think Syntax 1 makes most sense, especially considering a case of long 
list of "subtypes" that could be class names with namespace.

Types should also support visibility (public|protected|private) when in 
class/trait context.

-- 
Aleksander Machniak
Kolab Groupware Developer        [https://kolab.org]
Roundcube Webmail Developer  [https://roundcube.net]
----------------------------------------------------
PGP: 19359DC1 # Blog: https://kolabian.wordpress.com