Swift:minimizing Annotation with Type inference

Many program apes prefer dynamic languages such as Python and JavaScript, because these languages do not require program apes to declare and manage their types for each variable.

In most dynamic types of languages, variables can be of any type, while type declarations are optional or not allowed at all.

Objective-c takes a mixed approach: it requires a type declaration, but any variable that points to an instance of a Objective-c class (including any class derived from NSObject, but not the so-called primitive type, such as int,float, etc.) You can simply declare it to be of type ID, so you can point to any objective-c instance type.

Even when using a strict declaration, the Objective-c compiler cannot make any strict warranties about the type of the variable.

Swift:minimizing Annotation with Type inference