Built-in Types

Boolean

Integers

i(n) and u(n) are valid for any bit width n. You can create integers of arbitrary size, e.g. i7, u3, i256.

Signed

Unsigned

Floating Point

Primitive Constants

All numeric types expose MAX_VALUE and MIN_VALUE constants. Floating-point types also expose MIN_POSITIVE and EPSILON:

i32 max = i32.MAX_VALUE;   // 0x7FFFFFFF
i32 min = i32.MIN_VALUE;   // 0x80000000
u64 umax = u64.MAX_VALUE;  // 0xFFFFFFFFFFFFFFFF

f64 eps = f64.EPSILON;          // 2.2204460492503131e-16
f32 minPos = f32.MIN_POSITIVE;  // 1.17549435e-38

Size Types

Void

Strings

Arrays

Pointers

Reflection

TypeInfo

struct TypeInfo {
    i32 id;
    i32 size;
    i8* name;
    u8 kind;
}

Runtime type metadata available via the typeof intrinsic. The kind field encodes the category: 0 = integer, 1 = float, 2 = pointer.

object

struct object : Hashable {
    TypeInfo* type;
    void* data;
}

A type-erased value with runtime type information. Used internally by variadic functions to inspect argument types at runtime.

Enums

optional<T>

enum optional<T> {
    Empty(),
    Value(T)
}

result<T, E>

enum result<T, E> {
    Ok(T),
    Error(E)
}