A thorough treatment of types is deferred to below. There are many categories of types in Birch. Two important categories are:
- Basic types, such as
- Class types as declared in user code, such as
Gaussianfrom the standard library.
Instantiations of basic types (e.g. variables, expression results) are typically values, while those of class types are called objects.