architecture
Type Inference System
How Pyvorin deduces types without explicit annotations.
Published May 30, 2026
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.