Type System

Ea is statically typed with no implicit conversions. Every variable, parameter, and expression has a concrete type known at compile time.

Scalar Types

Integer literals default to i32. Float literals default to f32. Use explicit casts (to_f64(x), to_i64(x)) to convert between types.

Vector Types

Vector types hold multiple lanes of the same scalar type. Element-wise operations use dot-operators (.+, .-, .*, ./, etc.).

128-bit Vectors -- SSE (x86) / NEON (ARM)

256-bit Vectors -- AVX2 (x86 only)

These types produce a compile error on ARM targets.

512-bit Vectors -- AVX-512 (x86, --avx512 flag required)

Using these types without --avx512 produces a compile error.

Pointer Types

Pointers represent caller-provided memory. Ea never allocates -- all memory comes from the host language.

The restrict qualifier tells the compiler that the pointer does not alias other pointers, enabling stronger optimizations. Use it when you can guarantee non-overlapping memory.

Struct Types

User-defined value types declared with struct:

struct Pixel {
    r: f32,
    g: f32,
    b: f32,
    a: f32,
}

Structs are passed by value. Access fields with dot syntax: pixel.r. Structs can contain scalar types, vector types, and other structs.

Type Rules

• No implicit conversions between types. Use to_f32(), to_i32(), etc.
• No generics or polymorphism. Write separate functions for each type.
• Vector dot-operators require both operands to have the same vector type.
• Comparisons on vectors (.==, .<, .>) produce boolean vectors, not scalar bools.