In contrast, some programming languages use implicit typing (a.k.a.
Consider the following example written in the C programming language: The variables s, x, and y were declared as a character array, floating point number, and an integer, respectively.
The type system rejects, at compile-time, such fallacies as trying to add s and x.
[1] Using that feature, the preceding example could become: Similarly to the second example, in Standard ML, the types do not need to be explicitly declared.
There are no manifest types in this program, but the compiler still infers the types string, real and int for them, and would reject the expression s+x as a compile-time error.