3 ms·
Bottom's not a type; it's a value that inhabits all types.
by pklausler 11y ago
Bottom's not a type; it's a value that inhabits all types.
- catnaroek 11y agoSome type systems also have a bottom type, and this has nothing to do with the bottom you're talking about.
- gclaramunt 11y agoIf you consider subtyping, Bottom is a type IIRC, In the category with types as objects and subtyping relationship (a->b if b is subtype of a) as morphisms, Any is the initial object and Bottom is the final object of the category
- catnaroek 11y agoI think normally one considers the opposite category, where arrows go from subtypes to supertypes, because it can be embedded in the usual category of types and functions, by considering each arrow as the upcasting function.
- Retra 11y agoAnd what is the type of that value?