I actually believe that we can solve this problem for most cases. Take dart for instance -- it doesn't require any typing as such, but has an excellent type sy

I actually believe that we can solve this problem for most cases. Take dart for instance -- it doesn't require any typing as such, but has an excellent type system that supports generics too. The type checker is pretty robust, but flexible at the same time...