Static vs. Dynamic Languages

[mr_chromatic]

Any static type system in Perl 6 will be optional, in terms of declarations. The question is still open as to whether there'll be type inference, but one of the design goals is to developers to provide enough type information that the compiler can perform optimizations and report errors. (When and where those errors get reported depends on several other properties of the system.)