Scala has a powerful type system that allows many properties of a program to be verified at compile-time. Do you still think of types as Int, String and Object? Complex Types are only a small step away. You can have the compiler perform computations on natural numbers, enforce the sizes of collections and always get the correct element type out of a heterogeneous list. All of that happens at compile-time without impacting the runtime performance of your code.