Type Inference System

Local Type Inference

Variable types are inferred from assignments and operations.

Propagation

Types flow through function calls and return values.

Specialisation

Functions may be compiled with multiple type specialisations.

Limitations

Dynamic attribute access and eval may prevent precise inference.