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.