4 ms·
If you go that route, anything can be abstract type. I tend to see it like: type is what this object actually is, and protocol is how we interact with it.
by zaro 11y ago
If you go that route, anything can be abstract type.
I tend to see it like: type is what this object actually is, and protocol is how we interact with it.
- solidsnack9000 11y agoI see where you are going. But I'm sure we can agree that both concrete types and protocols would be handled by a "type checker". If ever there were a language where you'd want to be looking at protocols and not concrete types most of the time, it would be Python.