Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:118104
MIME-Version: 1.0
References: <CAOWwgpmG33Ybp6KS4ePrMgMJdW5xX+M2mos2cpgoVNUy8dVMjQ@mail.gmail.com>
 <9C11261B-B9D0-4342-81EB-60276B3036E5@php.net> <CAOWwgpkd3OEu1VReP8gMnFdwPAQyPywQ9Ttie+grcNeXzsKS2Q@mail.gmail.com>
 <CAC5V6ggkEhf9KExS6TrK_54gzppELBoAceZS3Ouj5C4q6Noj0A@mail.gmail.com> <CAOWwgpm71KDp-eBNYbSzL25aAr6dk0992MojN68eNoFK5zjTdQ@mail.gmail.com>
In-Reply-To: <CAOWwgpm71KDp-eBNYbSzL25aAr6dk0992MojN68eNoFK5zjTdQ@mail.gmail.com>
Date: Mon, 27 Jun 2022 14:03:54 +0200
Message-ID: <CAC5V6ggPfhu6vt+jpzBeUrHk9XGdetZSVqYd0Q=hvYO3EfpvCA@mail.gmail.com>
To: Nicolas Grekas <nicolas.grekas+php@gmail.com>
Cc: Rowan Collins <rowan.collins@gmail.com>, PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] [Under Discussion] Auto-implement Stringable for
 string backed enums
From: guilliam.xavier@gmail.com (Guilliam Xavier)

>> Symfony YAML has a `!php/const X` feature, which also works when X is
>> an Enum::CASE; how about a `!php/enum_value` feature?
>
> I submitted something similar today at https://github.com/symfony/symfony/pull/46771

And I see that it has been merged ;)

>> Otherwise, I also like Rowan's suggestion of implementing "internal
>> cast handlers", so that non-strict users could call e.g.
>
> I had a look at gmp for example: cast handlers don't work when calling a function.
> They do work when explicit casting and when doing loose comparisons, but they don't when calling functions

Well it works for `string` at least (even though `GMP` does *not*
implement `__toString`), e.g. https://3v4l.org/cRnnW
The TypeError for `int` may be related to the fact that e.g. `+$gmp`
(or `0 + $gmp`) gives back a GMP (not an int like `(int)$gmp`)?
(But indeed I don't know much about that... nor if it could be made opt-in)

> Rowan's proposals about sets could solve this in a very nice way

Reminded me of e.g.
https://stackoverflow.com/questions/6422380/does-any-programming-language-support-defining-constraints-on-primitive-data-types
(mainly integer ranges, but the concept of "domains" looks similar)

Regards,

--
Guilliam Xavier