Referencia rápida del lenguaje Verse

comentario de una sola línea: todo lo que aparece entre # y el final de línea forma parte del comentario del código.

comentario de bloque en línea: todo lo que aparece entre <# y #> forma parte del comentario del código. Los comentarios de bloque insertados pueden ir entre expresiones de una sola línea y no modifican las expresiones.

comentario de bloque de varias líneas: todo lo que aparece entre <# y #> forma parte del comentario del código. Los comentarios en bloque de varias líneas pueden abarcar varias líneas.

comentario de bloque anidado: todo lo que aparece entre <# y #> forma parte del comentario del código. Esto puede resultar útil si deseas comentar algunas expresiones en una línea para probar y depurar sin modificar un comentario del código existente.

comentario con sangría: todo lo que aparece en líneas nuevas después de <#> y tiene una sangría de cuatro espacios forma parte del comentario de código. La primera línea que no tiene una sangría de cuatro espacios no forma parte del comentario del código y marca el final del comentario del código.

Crear una constante: el valor de una constante no puede modificarse mientras se ejecuta el programa. Una constante se crea especificando su nombre, tipo y valor.

Haz clic en la imagen para ampliarla.

Crear una variable: el valor de una variable puede modificarse mientras se ejecuta el programa. Una variable se crea añadiendo la palabra clave var antes del nombre. Se debe especificar su nombre, tipo y (opcionalmente) su valor inicial.

Haz clic en la imagen para ampliarla.

Cambiar el valor de una variable: puedes cambiar el valor de una variable mientras se ejecuta el programa utilizando la palabra clave set =.

Haz clic en la imagen para ampliarla.

logic: logic en Verse es el tipo de los valores booleanos, lo que significa que logic solo puede tener dos valores posibles: true y false. Para obtener más información sobre el tipo logic, consulta Logic.

int: un int en Verse puede contener un número positivo, un número negativo o un cero, y no tiene ningún componente fraccionario. Los valores enteros pueden estar entre los siguientes valores (incluidos):

• Mín.: -9,223,372,036,854,775,808

• Máx.: 9,223,372,036,854,775,807 Para obtener más información sobre el tipo int, consulta Int.

float: un float en Verse puede contener un número positivo o negativo que tenga un punto decimal, un cero o el valor NaN (Not a Number). Los valores de punto flotante pueden estar entre los siguientes valores (incluidos):

• Mín.: -2^1023 * (1 + (1 - 2^(-52)))

• Máx.: -2^1023 * (1 + (1 - 2^(-52))) Para obtener más información sobre el tipo float, consulta Float.

string: string en Verse puede contener letras, números, signos de puntuación, espacios y emoticonos 🐈. Una cadena que no contiene ningún carácter ("") se denomina cadena vacía.

Puedes inyectar el resultado de una expresión en una cadena utilizando {} dentro de "". Esto recibe el nombre de interpolación de cadenas.

Para obtener más información sobre el tipo string, consulta String.

message: message en Verse puede contener texto independiente de la configuración regional. Cuando inicializas una variable message con un valor string, esa cadena es el texto y el idioma por defecto del mensaje. Construir un mensaje con el especificador localizes produce un mensaje que es igual a sí mismo y distinto de todos los demás mensajes, independientemente de que el texto por defecto sea el mismo entre dos mensajes.

Puedes convertir el texto en una cadena visualizable en tiempo de ejecución utilizando la función Localize(), que da formato al texto según la configuración regional actual.

Actualmente, el único texto que puede devolver la función Localize() es el texto por defecto que proporcionaste al crear el mensaje.

locale: este tipo representa en qué contexto debe localizarse un valor de message. Esto afecta al lenguaje del texto y a cómo se representan los números, que son comunes a la configuración regional.

Actualmente, el tipo locale` no está totalmente implementado, por lo que la función Localize() solo devolverá el texto por defecto que hayas proporcionado al crear el mensaje.

rational: el tipo rational es el resultado de la división de enteros, y solo puede utilizarse como argumento de las siguientes funciones:

• Floor(): redondea a la baja el valor racional al número entero más cercano.

• Floor(): redondea al alza el valor racional al número entero más cercano. Para obtener más información sobre el tipo rational, consulta Rational.

void: el tipo void es útil en los siguientes casos:

• Como tipo de retorno de una función, indicando que el resultado de la función no es útil.

• Como tipo de constantes o parámetros de funciones, indicando que el valor no es útil. Por ejemplo, utiliza void para las constantes o parámetros de función cuando anules la definición de una función.

Para obtener más información sobre el tipo void, consulta Void.

any: el tipo any es el supertipo de todos los tipos. Para obtener más información sobre el tipo any, consulta Any.

comparable: el tipo comparable tiene el requisito de que cualquier valor de este tipo puede ser comparado para la igualdad con cualquier otro valor de este tipo. El tipo comparable es el supertipo de todos los tipos que pueden compararse para la igualdad. Para obtener más información sobre el tipo comparable, consulta Comparable.

Crear una opción: puedes inicializar una opción con uno de los valores siguientes:

• Sin valor: asigna false a la opción para marcarla como no configurada.

• Valor inicial: utiliza la palabra clave option seguida de {}, y una expresión entre las {}. Si la expresión falla, se anulará la configuración de la opción y tendrá el valor false.

Especifica el tipo añadiendo ? antes del tipo de valor que se espera almacenar en la opción. Por ejemplo, ?int.

Acceder a un elemento en una opción: utiliza el operador de consulta ? con la opción, como MaybeANumber?. Acceder al valor almacenado en una opción es una expresión falible porque puede no haber ningún valor en la opción y, por lo tanto, se debe utilizar en un contexto de fallo.

Crear un rango: el inicio del rango es el primer valor de la expresión, y el final del rango es el valor que sigue a .. en la expresión. El rango contiene todos los enteros entre los valores iniciales y finales (incluidos).

Iterar sobre un rango: puedes utilizar la expresión for para iterar sobre la secuencia de números. Para obtener más información, consulta for.

Crear una matriz: utiliza la palabra clave array seguida de {}. Si quieres especificar elementos iniciales en la matriz, añade las expresiones entre las {}, separadas por ,. Especifica el tipo añadiendo [] antes del tipo de valor que se espera almacenar en la matriz, por ejemplo []int.

Acceder a un elemento de una matriz: utiliza [] con el índice del elemento al que quieres acceder, por ejemplo, ExampleArray[0]. Acceder al valor almacenado en una matriz es una expresión falible porque puede no haber un elemento en dicho índice, y por tanto debe utilizarse en un contexto de fallo.

Cambiar un elemento de una matriz: puedes cambiar el valor almacenado en una variable de una matriz en un índice utilizando la palabra clave set =.

Iterar sobre una matriz: puedes acceder a cada elemento de una matriz, en orden, del primero al último, utilizando la expresión for. Con la expresión for, puedes obtener el elemento con la sintaxis (Item : ExampleArray) o el elemento y su clave con la sintaxis (Index -> Item : ExampleArray).

Obtener el número de elementos de una matriz: utiliza .Length en la matriz y su resultado será el número de elementos que contiene.

Concatenar matrices: puedes fusionar matrices utilizando el operador +.

Crear una tupla: utiliza () y especifica dos o más elementos, separados por ,. Especifica el tipo utilizando la palabra clave tuple seguida de (), especificando explícitamente el tipo de cada elemento entre los (). Por ejemplo, tuple(int, float, string).

Acceder a un elemento de una tupla: utiliza () con el índice del elemento al que quieres acceder, por ejemplo, ExampleTuple[0]. Acceder al valor almacenado en una tupla no es una expresión falible.

Expansión de tuplas: cuando utilizas una tupla como argumento de una función en lugar de especificar cada argumento individual, la función se llamará con cada elemento de la tupla utilizado como argumento en el orden en que estén especificados en la tupla.

Coerción de matriz de tuplas: las tuplas pueden pasarse allí donde se espera una matriz, siempre que el tipo de los elementos de la tupla coincidan con el tipo de la matriz. No se pueden pasar matrices donde se espera una tupla.

Crear un mapa: utiliza la palabra clave map seguida de {}. Si quieres especificar elementos iniciales en el mapa, añade los pares clave-valor entre las {}, separados por ,. Especifica el tipo añadiendo el [key-type], donde `key-type` es el tipo utilizado para las claves antes del tipo de valor que se espera almacenar en el mapa. Por ejemplo, [string]int.

Acceder a un elemento de un mapa: utiliza [] con la clave del elemento al que quieres acceder, por ejemplo, ExampleMap[Key].

Iterar sobre un mapa: puedes acceder a cada elemento de un mapa, en orden, desde el primer elemento insertado hasta el último, utilizando la expresión for. Con la expresión for, puedes obtener el elemento con la sintaxis (Value : ExampleMap) o el elemento y su clave con la sintaxis (Key -> Value: ExampleMap).

Obtener el número de pares clave-valor en un mapa: utiliza .Length en el mapa y su resultado será el número de elementos del mapa.

Crear una enumeración: utiliza la palabra clave enum seguida de {}. Si quieres especificar elementos iniciales en la enumeración, añade los enumeradores entre las {}, separados por ,.

Acceder a un enumerador: utiliza . en la enumeración, seguido del enumerador que quieras utilizar. Po ejemplo direction.Up.

Crear una estructura: utiliza la palabra clave struct seguida de un bloque de código. Las definiciones en el bloque de código de la estructura definen los campos de la estructura.

Crear una instancia de estructura: puedes crear una instancia de una estructura a partir de un arquetipo. Un arquetipo define los valores de los campos de una estructura.

Acceder a los campos de una estructura: puedes acceder a los campos de una estructura para obtener su valor añadiendo . entre la instancia de la estructura y el nombre del campo.

Crear una clase: las definiciones que se anidan dentro de la clase definen campos de la clase. Las funciones definidas como campos de una clase también se llaman métodos.

Crear una instancia de clase: puedes crear una instancia de clase utilizando el nombre de la clase seguido de {} (el arquetipo). Un arquetipo define los valores de los campos de una clase.

Acceder a los campos de una clase: puedes acceder a los campos de una clase para obtener su valor añadiendo . entre la instancia de la clase y el nombre del campo.

Acceder a los métodos de una clase: puedes acceder a los métodos de una clase para llamarlos añadiendo . entre la instancia de la clase y el nombre del método.

Self: puedes utilizar Self en un método de clase para referirte a la instancia de la clase sobre la que se ha llamado al método. Puedes referirte a otros campos de la instancia a la que se ha llamado al método sin utilizar Self, pero si necesitas referirte a la instancia en su conjunto, debes utilizar Self.

Crear una subclase: especifica una clase como subclase de otra clase añadiendo la otra clase entre los () de class().

Anular campos de la superclase: puedes cambiar los valores de un campo definido en la superclase para la subclase solo añadiendo el especificador <override> al nombre del campo.

Anular métodos de la superclase: [INCLUDE:#overriding_methods_on_superclass_description]

Super: de forma parecida a Self, es posible usar (super:) para acceder a las implementaciones de campos y métodos de la superclase. Para poder utilizar (super:), es necesario que el campo o método esté implementado en la definición de la superclase.

Definir un constructor para una clase: para añadir un constructor a una clase, añade el especificador constructor en el nombre de la función. En lugar de especificar un tipo de retorno en la función, se asigna a la función el nombre de la clase seguido de cualquier inicialización de los campos. Una clase puede tener más de un constructor.

Añadir variables y ejecutar código en el constructor: puedes ejecutar expresiones dentro de un constructor con la expresión block, e introducir nuevas variables con la palabra clave let.

Llamar a otros constructores en un constructor: desde un constructor, puedes llamar a otros. Desde un constructor de la clase, también puedes llamar a los constructores para la superclase de dicha clase, siempre que todos los campos estén inicializados. Cuando un constructor llama a otro y ambos inicializan campos, solo se utilizan los valores proporcionados al primer constructor para los campos. El orden de evaluación de las expresiones entre los dos constructores será en el orden en que se escriban las expresiones (en lo que respecta a los efectos secundarios), pero solo se utilizan los valores proporcionados al primer constructor.

Crear una interfaz: una interfaz se define de forma similar a una clase, pero con la palabra clave interface. En la definición, puedes especificar los métodos asociados a la interfaz.

Ampliar una interfaz: una interfaz puede ampliar la definición de otra interfaz especificando la interfaz que se quiere ampliar entre los () de interface().

Implementar una interfaz: puedes implementar una interfaz con una clase especificando la interfaz entre los () de class(). La clase debe anular e implementar cada método definido en la interfaz.

Implementar varias interfaces: una clase puede implementar varias interfaces. Las interfaces están separadas por , entre los () de class().

Heredar de una interfaz y de otra clase: una clase puede implementar una interfaz y ser una subclase de otra clase. La interfaz y la superclase están separadas por , entre los () de class().

Alias de tipos: puedes dar a un tipo un nombre diferente en tu código y hacer referencia al tipo con ese nuevo nombre. La sintaxis es similar a la inicialización de constantes. También puedes dar un alias de tipo a un tipo de función. Para obtener más información, consulta Alias de tipos.

Tipo paramétrico como argumento de tipo explícito: Verse admite tipos paramétricos (tipos esperados como argumentos). Esto solo funciona con clases y funciones. Para obtener más información, consulta Tipos paramétricos.

Tipo paramétrico como argumento de tipo implícito a las funciones: la razón de utilizar tipos paramétricos implícitos con las funciones es que permite escribir código que es invariante de un tipo concreto una sola vez, en lugar de para cada tipo con el que se utiliza la función. Para obtener más información, consulta Tipos paramétricos.

Macro de tipo: Verse tiene una construcción especial que puede utilizarse para obtener el tipo de una expresión arbitraria. Se puede utilizar en cualquier lugar donde se pueda utilizar un tipo. Para obtener más información, consulta Macro de tipo.

Subtipo: puedes utilizar subtype para dar una restricción a una variable de tipo. Requiere que el tipo que puede reemplazar a una variable de tipo, que es un subtipo del argumento a subtipar. Todo lo que pueda sustituir a t en una llamada a Filter debe ser un subtipo de comparable.

Consulta ?

El operador ? comprueba si un valor logic es true. Véase Consulta para obtener más información.

posfijo

9

TargetLocked?

No not

El operador not niega el éxito o el fallo de una expresión. Consulta No para obtener más información.

Prefijo

8

not TargetLocked?

Positivo +

Puedes usar el operador + como prefijo de un número para ayudar a alinear tu código visualmente, pero no cambiará el valor del número. Consulta Matemáticas para obtener más información.

Prefijo

8

+1

Negativo -

Puedes utilizar el operador - como prefijo de un número para negar el valor numérico. Consulta Matemáticas para obtener más información.

Prefijo

8

-1

Multiplicación *

* multiplica dos valores. Consulta Matemáticas para obtener más información.

infijo

7

2 * 3

División /

El operador / divide el primer operando numérico entre el segundo operando numérico. La división de enteros puede fallar. Consulta Matemáticas para obtener más información.

infijo

7

6 / 3

Suma +

El operador `+` suma dos valores numéricos. Cuando se utiliza con cadenas y matrices, los dos valores se concatenan. Consulta Matemáticas para obtener más información.

infijo

6

2 + 3

Resta -

El operador - resta el segundo operando numérico del primer operando. Consulta Matemáticas para obtener más información.

infijo

6

2 - 3

Asignación de suma +=

Con este operador, puedes combinar la suma y la asignación en la misma operación para actualizar el valor de una variable. Consulta Matemáticas para obtener más información.

infijo

5

set VariableName += 1

Asignación de resta -=

Con este operador, puedes combinar la resta y la asignación en la misma operación para actualizar el valor de una variable. Consulta Matemáticas para obtener más información.

infijo

5

set VariableName -= 1

Asignación de multiplicación *=

Con este operador, puedes combinar la multiplicación y la asignación en la misma operación para actualizar el valor de una variable. Consulta Matemáticas para obtener más información.

infijo

5

set VariableName *= 1

Asignación de división /=

Con este operador, puedes combinar la división y la asignación en la misma operación para actualizar el valor de una variable, a menos que la variable sea un número entero. Consulta Matemáticas para obtener más información.

infijo

5

set VariableName /= 2

Igual a =

El operador = tiene éxito cuando el operando izquierdo es igual al operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

MyScore = HighScore

No es igual a <>

El operador <> tiene éxito cuando el operando izquierdo no es igual al operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

MyScore <> HighScore

Menor que <

El operador < tiene éxito cuando el operando izquierdo es menor que el operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

MyScore < HighScore

Menor o igual que <=

El operador <= tiene éxito cuando el operando izquierdo es menor o igual que el operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

Score <= HighScore

Mayor que >

El operador > tiene éxito cuando el operando izquierdo es mayor que el operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

MyScore > HighScore

Mayor o igual que >=

El operador >= tiene éxito cuando el operando izquierdo es mayor o igual que el operando derecho. En caso contrario, la expresión falla. Consulta Comparación para obtener más información.

infijo

4

MyScore >= HighScore

Y and

El operador and tiene éxito cuando todos los operandos tienen éxito. Para obtener más información, consulta Operadores And/Or.

infijo

3

Value1 and Value2

O or

El operador or tiene éxito si al menos uno de los operandos tiene éxito. Para obtener más información, consulta Operadores And/Or.

infijo

2

Value1 or Value2

Inicialización de variables y constantes : =

Con este operador, puedes almacenar valores en una constante o en una variable. Para obtener más información, consulta Constantes y variables.

infijo

1

ConstantName := 5

Asignación de variables set =

Con este operador puedes actualizar los valores almacenados en una variable. Para obtener más información, consulta Constantes y variables.

infijo

1

set VariableName = 5

Con espacios: comienza con : y cada nueva línea del bloque de código tiene una sangría uniforme de cuatro espacios.

Multilínea con llaves: encerrados entre {}, con cada expresión en una nueva línea.

Una sola línea con llaves: encerrados entre {}, con cada expresión separada por ;.

Última expresión devuelta con un valor: de forma predeterminada, la última expresión del bloque de código de la función es el resultado de la misma y cuyo valor debe coincidir con el tipo de retorno de la función.

Devolución explícita con un valor: también puedes definir explícitamente lo que devolverá la función utilizando return seguido de un valor, por ejemplo, return HighScore. La expresión return sale de la función inmediatamente, aunque haya más expresiones después de ella en el bloque de código.

Llamada a una función no falible: una llamada de función que no puede fallar tiene la forma FunctionName().

Llamada a una función falible: una llamada de función que puede fallar tiene la forma FunctionName[]. Una función está marcada como falible cuando su definición tiene el especificador decides.

Llamadas de función: solo cuando la llamada a la función tiene la forma FunctionName[], y la definición de la función tiene el especificador decides.

Comparación: una expresión de comparación compara dos cosas mediante uno de los operadores de comparación. Para obtener más información, consulta operadores.

División de números enteros: para los números enteros, el operador de división / es falible, y el resultado es de tipo rational si tiene éxito. Para obtener más información, consulta operadores.

Decisión: una expresión de decisión utiliza los operadores not, and y or para proporcionarte el control sobre el flujo de decisiones de éxito y fracaso. Para obtener más información, consulta operadores.

Consulta: una expresión de consulta utiliza el operador ? y comprueba si un valor de logic u option es true. En caso contrario, la expresión falla. Para obtener más información, consulta operadores.

Acceder a un elemento de una matriz: acceder al valor almacenado en una matriz es una expresión falible porque puede no haber un elemento en dicho índice, y por tanto debe utilizarse en un contexto de fallo. Para obtener más información, consulta matriz.

La condición en expresiones if.

Las expresiones de iteración y de filtro en las expresiones for.

El cuerpo de una función o método que tiene el especificador de efecto decides.

El operando para el operador not.

El operando izquierdo del operador or.

Inicialización de una variable que tiene el tipo option.

no_rollback: este es el efecto predeterminado cuando no se especifica ningún efecto exclusivo. El efecto no_rollback indica que no es posible deshacer las acciones realizadas por la función y, por tanto, no se puede utilizar la función en un contexto de fallo. Este efecto no se puede especificar manualmente.

Efectos exclusivos

transacts: este efecto indica que es posible revertir cualquier acción realizada por la función. El efecto `transacts` es necesario cada vez que se escribe una variable mutable (var). Al compilar el código, si se ha añadido el efecto transacts a una función que no se puede revertir, se mostrará una notificación. Esta comprobación no se lleva a cabo en las funciones con el especificador native.

varies: este efecto indica que las mismas entradas a la función pueden no producir siempre la misma salida. El efecto varies también indica que no se garantiza que el comportamiento de la función sea el mismo con nuevas versiones de su paquete contenedor.

computes: este efecto requiere que la función no tenga efectos secundarios, y no se garantiza que se complete. Hay un requisito no comprobado de que la función genere el mismo resultado dados los mismos argumentos. Cualquier función que no tenga el especificador native que, de otro modo, tendría el efecto converges, es un buen ejemplo de uso del efecto computes.

converges: este efecto garantiza que no solo no hay ningún efecto secundario de la ejecución de la función relacionada, sino que la función se completa en un punto definido (no es infinitamente recursiva). Este efecto solo puede aparecer en funciones que tengan el especificador native, pero el compilador no lo comprueba. El código que se utiliza para proporcionar valores predeterminados de clases o valores para las variables globales debe tener este efecto. Las funciones sin(), cos() y tan() son ejemplos de funciones con el efecto converges.

Efectos aditivos

decides: este efecto indica que la función puede fallar y que llamar a esta función es una expresión falible. Las definiciones de funciones con el efecto decides también deben tener el efecto transacts, lo que significa que es posible revertir las acciones realizadas por la función (como si nunca se hubieran producido) si surge un fallo en cualquier parte de la función.

suspends: indica que la función es asíncrona. Crea un contexto asíncrono para el cuerpo de la función.

abstract: cuando una clase o un método de una clase tiene el especificador `abstract`, no puedes crear una instancia de la clase. Las clases abstractas están pensadas para ser utilizadas como una superclase con implementación parcial o como una interfaz común. Esto es útil cuando no tiene sentido tener instancias de una superclase pero tampoco se desea duplicar propiedades y comportamientos en clases similares.

concrete: cuando una clase tiene el especificador `concrete`, debe ser posible construirla con un arquetipo vacío, lo que significa que cada campo de la clase debe tener un valor predeterminado. Todas las subclases de una clase `concrete` son implícitamente `concrete`. Una clase `concrete` solo puede heredar directamente de una clase abstracta si ambas clases están definidas en el mismo módulo.

unique: el especificador `unique` puede aplicarse a una clase para convertirla en una clase única. Para construir una instancia de una clase única, Verse asigna una identidad única para la instancia resultante. Esto permite comparar instancias de clases únicas para la igualdad mediante la comparación de sus identidades. Las clases sin el especificador `unique` no tienen esta identidad, así que solo se pueden comparar para determinar su igualdad sobre la base de los valores de sus campos. Esto significa que las clases `unique` se pueden comparar con los operadores = y <>, y que son subtipos del tipo comparable.

native_callable: indica que un método de instancia es nativo (implementado en C++) y puede llamarse desde otro código C++. Es posible ver este especificador utilizado en un método de instancia. Este especificador no se propaga a subclases y, en consecuencia, no es necesario añadirlo a una definición para anular otro método que sí lo tiene.

Resultado: última expresión del bloque de código block. En este ejemplo, el resultado de la expresión block es el resultado de expression2.

Resultado: última expresión del bloque de código if. En este ejemplo, el resultado de la expresión if es el resultado de expression1.

Resultado: última expresión del bloque de código if. En este ejemplo, el resultado de la expresión if es el resultado de expression1.

Resultado: el resultado de una expresión loop es void, lo que significa que no produce un resultado útil.

Resultado: el resultado de una expresión loop es void, lo que significa que no produce un resultado útil.

Resultado: el resultado de una expresión loop es void, lo que significa que no produce un resultado útil.

Resultado: el resultado de una expresión loop es void, lo que significa que no produce un resultado útil.

Resultado: el resultado de una expresión for es una matriz que contiene el resultado de cada bloque de código de la iteración.

Resultado: el resultado de una expresión for es una matriz que contiene el resultado de cada bloque de código de la iteración.

Resultado: el resultado de una expresión for es una matriz que contiene el resultado de cada bloque de código de la iteración.

Resultado: el resultado de una expresión for que tiene una expresión for anidada es una matriz que contiene el resultado de cada iteración del bloque de código del bucle interno.

Resultado: la expresión defer no tiene resultado.

Resultado: la expresión defer no tiene resultado.

Resultado: la expresión defer no tiene resultado.

Resultado: la expresión defer no tiene resultado.

Resultado: la expresión defer no tiene resultado.

Resultado: la expresión defer no tiene resultado.

Ejecuta bloque de código de forma simultánea y espera a que terminen todas antes de ejecutar la siguiente expresión después de sync.

El cuerpo de la expresión branch se inicia en cuanto se encuentra. El cuerpo de la expresión `branch` continúa evaluándose hasta que el bloque de código o el contexto asíncrono que lo envuelve se completan (lo que ocurra primero), momento en el que se cancela la tarea del bloque de código branch.

Resultado: el resultado de una expresión sync es una tupla de resultados de cada expresión en el orden en que se especificaron las expresiones de nivel superior. Los tipos de resultado de las expresiones pueden ser de cualquier tipo, y cada elemento de la tupla tendrá el tipo de su correspondiente expresión de nivel superior.

Resultado: una expresión branch no tiene resultado, por lo que su tipo de resultado es void.

Similar a sync aunque cancela todo excepto la subexpresión ganadora. Si cualquier otra expresión se completa en el mismo tiempo de simulación que la expresión anterior, la primera expresión (anterior) "gana" y rompe cualquier empate. Cualquier tarea de expresión que se pierda se cancela.

Similar a race, pero las expresiones que se completan después de que termine la primera expresión continúan ejecutándose. Si alguna de las expresiones se completa de forma efectiva en la misma actualización de la simulación, la expresión encontrada anteriormente que se completa rompe cualquier empate. Las expresiones incompletas continúan evaluándose hasta que se completan, o hasta que el contexto asíncrono que las rodea se completa, momento en el que se cancelan las expresiones perdedoras restantes (lo que ocurra primero).

Resultado: el resultado de una expresión race es el resultado de la primera expresión completada. El tipo de resultado es el tipo compatible más común de todas las expresiones del bloque de código.

Resultado: el resultado de una expresión rush es el resultado de la primera expresión completada. El tipo de resultado es el tipo compatible más común de todas las expresiones del bloque de código.

El cuerpo de una expresión spawn crea un contexto asíncrono como el cuerpo de una función asíncrona. Sin embargo, solo se permite una única llamada a una función asíncrona dentro del cuerpo de spawn. La función asíncrona de spawn se inicia tan pronto como se encuentra y evalúa todo lo posible hasta que encuentra algo que suspende/bloquea. La función asíncrona generada continúa evaluándose hasta que se completa sin ninguna otra conexión con la ubicación donde se generó.

Resultado: una acción spawn tiene un resultado de tarea (task(type)).

Uso: para poder utilizar el contenido de un módulo de Verse, debes especificar el módulo por su ruta.

Módulo: aparte de los módulos introducidos por carpetas en un proyecto, los módulos pueden introducirse dentro de un archivo .verse utilizando la palabra clave module.