What you can do with your statically typed language obviously depends on the strength of the type system. Haskell for example is quite good, but Java is very li

What you can do with your statically typed language obviously depends on the strength of the type system. Haskell for example is quite good, but Java is very limiting. Luckily there is a workaround for Javas static typing limitation: Casts. Every time a Java programmer uses a cast, you can see that static typing has limits.