3 ms·
I may be misunderstanding this, but it seems like there is a mistake on the first page: > For example, every string is an object, `str <: object`, but not ever
by vngzs 4y ago
I may be misunderstanding this, but it seems like there is a mistake on the first page:
> For example, every string is an object, `str <: object`, but not every object is a string, `str ≮: object`.
Is not
str <: object ∧ str ≮: object
a contradiction? Wouldn't `object ≮: string` be the correct representation of "not every object is a string"?
- OriRoth 4y agoYes, this is an obvious mistake. What you wrote is the right statement.