A language with good type inference lets you type less because you don't need the colon or the type, where as a language with it first you always have to type s

A language with good type inference lets you type less because you don't need the colon or the type, where as a language with it first you always have to type something like var for a "figure it out" type.