Es un lenguaje fuertemente tipado, con un sistema de tipos basado en "many-sorted logic" con polimorfismo parametrizado.