Ukko, 5 months ago If @subtype is so great, why is there no @bottom
If @subtype is so great, why is there no @bottom
subtype, 5 months ago @Ukko In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system. Where such a type exists, it is often represented with the up tack (⊥) symbol. (_|_)
@Ukko
In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system. Where such a type exists, it is often represented with the up tack (⊥) symbol.
In subtyping systems, the bottom type is a subtype of all types. It is dual to the top type, which spans all possible values in a system.
Where such a type exists, it is often represented with the up tack (⊥) symbol.
(_|_)
Ukko, 5 months ago @subtype Yes if subtype is so great then where is the subtype of all subtypes which should be the greatest of all greats huh HU HHUHUHH
@subtype Yes if subtype is so great then where is the subtype of all subtypes which should be the greatest of all greats huh HU HHUHUHH
Add comment