It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism.
Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem.