Re: Type variants
| From: | Sherif Ramadan | Date: | Sun, 12 Mar 2017 08:58:13 +0000 |
| Subject: | Re: Type variants | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-98497@lists.php.net to get a copy of this message | ||
If the problem you're trying to solve pertains to object state that I have
no idea how this proposal hopes to achieve that. You can readily control
object state in PHP without the need for declarative types (e.g. magic
getters/setters). Not seeing how this proposal improves or even achieves
such a thing. I think you're trying desperately to find a problem that is
fitting of the proposal whereas all real-world problems that exist under
this domain are already solved problems.
On Sun, Mar 12, 2017 at 4:17 AM, Michael Vostrikov <
michael.vostrikov@gmail.com> wrote:
> 2017-03-12 13:03 GMT+05:00 Sherif Ramadan <theanomaly.is@gmail.com>:
>
> how it pertains to this discussion
> >
>
> This is example of type matching from my first message.
>
> I'm not sure what that has to do with inheritance
> >
>
> Yes, this is not related with inheritance. But order can be ready for
> checkout or can not. This is a variant of valid object state. If we could
> have a tool to describe that and check later, it would be useful.
>