Typed Language

Typed language é uma linguagem em que cada valor tem um tipo definido e o uso desses tipos é verificado pelo compilador ou interpretador.