I agree. In other words, automatic program-correctness check is a crucial feature if project goes larger. And type check is actually one of the simplest, easie

I agree. In other words, automatic program-correctness check is a crucial feature if project goes larger. And type check is actually one of the simplest, easiest and fastest way to archive that. But most dynamic languages doesn't provide type-check. Really sad. Adding type annotation on dynamic language is a kind of best mix of two worlds, and Julia seems pushing this approach even further - JIT static types from type annotation.