Yes, of course. I'm a big proponent of static typing, or (as Bob Harper likes to call it) typing! This is in contrast with unityped languages.