Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122259
MIME-Version: 1.0
References: <CAHXoPRtjsPzgpYnhB05hjdZo6Q-MDr4TUGbn9LQ77-hKVTCZOA@mail.gmail.com>
 <CAPTD5yEYmhOqgCUMykhup5Ug0CRWee--3HvWO7jutwaUWOaD=g@mail.gmail.com>
 <10e7aed0-00b8-4140-a1e1-bb0a33e90938@app.fastmail.com> <CAHXoPRtsXKP3Kyd5Ok96cq++pGTFFhSLtiB1FJUfKVgD1EFMQA@mail.gmail.com>
In-Reply-To: <CAHXoPRtsXKP3Kyd5Ok96cq++pGTFFhSLtiB1FJUfKVgD1EFMQA@mail.gmail.com>
Date: Fri, 26 Jan 2024 03:53:16 +0100
Message-ID: <CADeZBNahDHSia83MK41FwyAEHrxipyDrAK1pG6r8mt0FEpdxDA@mail.gmail.com>
To: Oladoyinbo Vincent <oladoyinbov@gmail.com>
Cc: Larry Garfield <larry@garfieldtech.com>, Jorg Sowa <jorg.sowa@gmail.com>, 
	php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000085ce2f060fd06661"
Subject: Re: [PHP-DEV] Re: Basic Type Alias
From: glash.gnome@gmail.com (=?UTF-8?B?TcO2bsO0bWUgRXBzb24=?=)

--00000000000085ce2f060fd06661
Content-Type: text/plain; charset="UTF-8"

Hello,

I took the time to read you. Very interesting discussion.
I'm also interested in the type definition.

Because these two functions are equivalent:
> function foo(?int $baz) {}
> function foo(null|int $baz) {}

We could imagine a personalized null-safety type.

> typedef Refutable as null|false|NAN|INF; // I'm not sure that NAN and INF
are types
> typedef UserId as Refutable ! int;// Refutable is the type of null-safety

> function zoo(UserId $id) {} // $id is (int)
> function noo(?UserId $id) {}// $id is (null|false|NAN|INF|int)


Do you plan to use enum cases as type ?

enum MyEnum{ case Foo = 1; case Zoo = 2;}
use enum MyEnum::Foo as MyFoo;// syntaxe error
typedef Mamamia MyFoo|MyEnum::Zoo

--00000000000085ce2f060fd06661--