Even if a language has a predefined set of types, enforcing proper usage usually requires some context.
Dokonce ani když jazyk obsahuje předdefinované typy, vynucení správného použití vyžaduje nějaký kontext.