Types

All expressions have a type that is known during semantic analysis. Nim is statically typed. One can declare new types, which is in essence defining an identifier that can be used to denote this custom type.

These are the major type classes:

• ordinal types (consist of integer, bool, character, enumeration (and subranges thereof) types)
• floating-point types
• string type
• structured types
• reference (pointer) type
• procedural type

• generic type

• Ordinal types

• Pre-defined integer types
• Subrange types
• Pre-defined floating-point types
• Boolean type
• Character type
• Enumeration types
• String type
• cstring type
• Structured types
• Array and sequence types
• Open arrays
• Varargs
• Unchecked arrays
• Tuples and object types
• Object construction
• Object variants
• cast uncheckedAssign
• Default values for object fields
• Set type
• Reference and pointer types
• Nil
• Mixing GC’ed memory with ptr
• Procedural type
• Distinct type
• Auto type