Type checking matches exactly and never coerces
The rule
Normative: this is the rule
- A
typecheck compares the value against the named type exactly: a value of the wrong type fails, and is never coerced to make it pass. - A type name the implementation does not recognise passes rather than fails, so an unknown type never blocks a node from running.
Rule identifiers are permanent and are never renumbered. Each implementation publishes its own standing against these rules; this specification does not.spec 1.0-draft · CFG-11 · changed in spec 1.0