Gradual Typing
A type discipline that mixes checked and unchecked code: an atom may carry a declared type or remain a permissive wildcard (%Undefined%), so type checking is optional and incremental.
A type discipline that mixes checked and unchecked code: an atom may carry a declared type or remain a permissive wildcard (%Undefined%), so type checking is optional and incremental.