The ideal programming language won't let you specify type, the compiler will detect for you. Why ? Because it's unnesessary for human to waste keystrokes for something like typing. So, a statically typed language, but act like a dynamic language is ideal.