3 ms·
Those are representations, not types. I think they are using the "what can I do with this" definition of type, which is just its public API, and nominality (wal
by kroltan 4y ago
Those are representations, not types. I think they are using the "what can I do with this" definition of type, which is just its public API, and nominality (walks like a duck, quacks like a duck, doesn't mean it's a duck)
- incrudible 4y agoThey are not ducks, they are two different animals, even if you disregard binary representation.