The End of Type Annotations

Type annotations are what make statically typed object-oriented languages like Java run faster and safer.Without annotations, every variable would effectively collapse to Object, forcing runtime casts.The code would work, but slower and with more runtime errors.Some type annotations may be inferred instead of being explicitly specified by a programmer.Not all though.In Java, for example, a number of hard-to-resolve challenges prevent us from inferring types of all objects.This is not a fun...