In statically typed languages such as Java or ML, a variable also has a type, meaning that only certain kinds of values can be stored in it.
A sztatikusan típusos nyelvekben, mint a Java és ML, egy változónak mindig van típusa, ami azt jelenti, hogy csakis a típusnak megfelelő érték tárolására képes.