Verse es un lenguaje de programación de tipado fuerte, lo que significa que 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.
Hay 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 no se haya proporcionado explícitamente el tipo int. En casos como este, el tipo se infiere.
Verse tiene tipos incorporados que permiten las operaciones fundamentales que la mayoría de los programas necesitan realizar. 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:
Logic
El tipo `logic` representa los valores booleanos true y false.
int
El tipo `int` representa valores enteros (números no fraccionarios).
float
El tipo float representa todos los valores numéricos no enteros. Puede contener valores grandes y fracciones precisas.
Cadena
La cadena tipo representa valores no numéricos como palabras, nombres, frases y otras colecciones de personajes.
Rational
El tipo `rational` 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 ello también se define para todos los subtipos `any`.
Comparable
Subtipo de `any`, `comparable` añade el requisito de que cualquier valor de este tipo puede compararse con cualquier otro valor de este tipo.
Void
El tipo void solo puede utilizarse como tipo de valor devuelto de una función e indica que el resultado de la función no es útil.