> Я вам рекомендую Scala - статически(в отличие от java) типизированный язык. В
> статически типизированном языке писать типы совершенно не обязательно. Они никуда не
> денутся, никто не сотрет.
> import scala.collection.mutable._
>

 
> val list = MutableList(1,2,3) 
> list += 4   // ок 
> list += "f" // никогда, ни под каким видом не компилируется.
> 

Приведённый кусок никаким боком не пересекается с тем что на пару постов выше ибо
        ArrayList<Integer> foo = new ArrayList<Integer>();
        foo.add("bar");
тоже ни разу не компилируется