type-inference-validation - Static Type Validation for Navigation Paths
Performs compile-time type checking on Navigator paths to prevent structural incompatibility errors
Tags
Updated: 2026-03-23Capabilities
Typical Inputs
Typical Outputs
What this skill does
- infer output type
- validate path compatibility
- check type signature
- detect type mismatch
- compute polymorphic type
- refine type with predicate
- propagate constraint
Inputs
- path expression
- input type
- navigator object
Outputs
- type signature
- validation result
- error message
- cached navigator
Requirements
- Julia runtime
- compile-time macro expansion
- Navigator framework
- type system