come minimo, se nel linguaggio interpretato o compilato sono presenti dei tipi, se il linguaggio non ha tipi non serve.