Skip to content

Notes A type describes a set of possible values

~sjm/my-pattern-language

A type describes a set of possible values¶

In type theory, a type describes a set of possible values. This is usually used to declare what is possible to exist within a variable.