I love strong types. I love having a compiler as my first line of defense against my human fallibility. Being able to ruthlessly refactor code with the knowledge that the compiler will be right there beside me throughout the entire process gives me the confidence to refactor freely. Not only that, but being able to encode business rules into the type system such that illegal states are unrepresentable makes it that much harder for bugs to creep their way into the system.
