manifest typing : Java Glossary
- manifest typing
Java is a statically typed language.
In manifest typed language the type constraints on variables are written out
literally by the human programmer, instead of being inferred in any way. The
alternative to manifest typing is type inference, usually
combined with static typing in the way described above.
Type inference permits greater fluidity in programming (less drone-work updating type
constraints) but still offers the completeness and performance gains of static