Verse es un lenguaje de programación de tipado estático, es decir, se asigna un tipo a cada identificador. Con la tipificación clara, el código no producirá resultados impredecibles durante el tiempo de ejecución porque los tipos de los identificadores son conocidos, junto con la forma en que las operaciones afectan a esos tipos.
Existen casos en los que el tipo no se requiere explícitamente, como cuando se crea una constante. En el ejemplo MyConstant := 0, se infiere que el tipo de MyConstant es int porque se le asigna un valor entero, aunque el tipo int no se haya brindado explícitamente. En instancias como esta, se infiere el tipo.
Verse tiene tipos integrados que admiten las operaciones fundamentales que necesita realizar la mayoría de los programas. Puedes crear tus propios tipos combinándolos en estructuras más grandes, pero es importante entender estos tipos comunes como base para el uso de variables y constantes en Verse.
En las siguientes páginas, se describen los tipos más comunes de Verse:
Lógica
El tipo de lógica representa los valores booleanos verdadero y falso.
Int
El tipo int representa valores enteros (número no fraccionario).
Float
El tipo float representa todos los valores numéricos no enteros. Puede contener valores grandes y fracciones precisas.
Cadena
El tipo de cadena representa valores no numéricos, como palabras, nombres, oraciones y otras colecciones de caracteres.
Rational (racional)
El tipo racional se utiliza como resultado de la división de enteros.
Any
Any es el supertipo de todos los tipos, lo que significa que cualquier comportamiento que se defina para él también se define para todos los subtipos.
Comparable
Comparable, un subtipo de any, agrega el requisito de que cualquier valor de este tipo se pueda comparar con cualquier otro valor de este tipo.
Void
El tipo void (nulo) solo puede usarse como tipo de devolución de una función e indica que el resultado de la función no es útil.