Also, 2000 called, they want their static types arguments back. Take a look at modern type systems, especially those that are tailored for dynamic languages (Ty

Also, 2000 called, they want their static types arguments back. Take a look at modern type systems, especially those that are tailored for dynamic languages (TypeScript, core.typed). They've grown in expressive power and type inference. They've also patched some obviously stupid gaping holes: for example, TypeScript with strictNullChecks will prevent "NPE" bugs.