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.vostri...@gmail.com> wrote: > 2017-03-12 13:03 GMT+05:00 Sherif Ramadan <theanomaly...@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. >
