Without types you just can't do much, or at least, if you're super good, compiler can't do much.
And most of the time you're trying to make something faster.