I got into a mild argument about static vs. dynamic typing. I recognize that static typing can be verbose to the point of being repetitious. Take Java generics for example:
List<String> astr = new ArrayList<String>();
There really isn’t a great reason why the compiler can’t infer the type of the variable on the right hand [...]
