Dunno. Not having to type types is a must have feature for a hacker's choice language. I'm no educator, but I think the case could be made that in a statically typed language, you'd want beginners to think about types.