Types

Vine is statically typed. Every expression has a type, like Bool or List[N32]. Type parameters are written in square brackets.

Types fall in to several categories:

• primitive types are fundamental types defined by the compiler
• standard types are commonly-used types defined by the standard library
• structs and enums are user-defined types