3 ms·
It's gradually typed. Which means there are dynamic type checks, and optional static type declarations as well. If the compiler can prove the outcome of a type
by perlgeek 9y ago
It's gradually typed. Which means there are dynamic type checks, and optional static type declarations as well.
If the compiler can prove the outcome of a type check at compile time, it can throw a type error or optimize out the runtime check, depending on the outcome.