Type Inference
Current status of type inference support in Jot.
The current parser/runtime implementation does not include source-level static type annotations or HM-style inference yet.
Today, Jot executes with runtime type checks in operator/control-flow/call nodes.
Current behavior
- Operator/type mismatches fail at runtime.
- Non-boolean
if/whileconditions fail at runtime. - Wrong function arity fails at runtime.
Planned direction
Type inference remains a design direction for future iterations, but it is not active in the grammar or compiler pipeline in this repository version.