> If you are gluing components together, then surely the components have a common interface that uses compatible types This is not guaranteed; for example, the

> If you are gluing components together, then surely the components have a common interface that uses compatible types This is not guaranteed; for example, the representation of a JSON object is trivial in dynamically typed languages, because there are no type bounds. Ease of metaprogramming is another. Possibly also debugging - I don't get powerful REPLs in the statically typed languages I've used, as much as those in the the dynamically typed language I use. Concepts like these don't represent best practices for sure at large scale, but they do make things easier at least at small scale, and they don't need to be necessarily supported. Taken to the extreme, Perl variable autoinitialization and context sensitivity are very convenient for 3-statement programs, but they'd be horror above that. It doesn't make sense for any language to try to support that.