-
-
Notifications
You must be signed in to change notification settings - Fork 14.3k
Closed
Labels
A-type-systemArea: Type systemArea: Type system
Description
The book currently lacks any mention of these two special types:
- The bottom type,
!, which denotes there is no type (this e.g. the type of a function that does not return) and - the unit type,
(), which is basically an empty tuple and thus a type with exactly one variant.
@steveklabnik, I wanted to make a PR for this, but I wasn't sure where to add this. The "Primitive Types" chapter seems to cover the topic of types, but people read about bool, str and i32 are probably not looking for type theory material…
Metadata
Metadata
Assignees
Labels
A-type-systemArea: Type systemArea: Type system