It gives the freedom to put the type when it is useful for reading and to remove it when it is annoying for reading. It is very different from others because t

It gives the freedom to put the type when it is useful for reading and to remove it when it is annoying for reading. It is very different from others because this language assumes the developer is smart.