Guía de referencia rápida del lenguaje Verse

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

Comentario de bloque en línea: todo lo que aparezca entre <# y #> es parte del comentario de código. Los comentarios de bloque en línea pueden estar entre expresiones en línea única y no cambian las expresiones.

Comentario de bloque multilínea: todo lo que aparezca entre <# y #> es parte del comentario de código. Los comentarios de bloque multilínea pueden extenderse en múltiples líneas.

Comentario de bloque anidado: todo lo que aparezca entre <# y #> es parte del comentario de código y se pueden anidar. Esto puede ser útil si deseas comentar algunas expresiones en una línea para prueba y depuración sin cambiar un comentario de código existente.

Comentario indentado: todo lo que aparece en líneas nuevas después de <#> y tiene una sangría de cuatro espacios es parte del comentario de código. La primera línea sin sangría de cuatro espacios no forma parte del comentario de código y finaliza dicho comentario.

Cómo crear una constante: el valor de una constante no se puede cambiar mientras el programa está en ejecución. Creas una constante al especificar su nombre, tipo y valor.

Haz clic en la imagen para ampliarla.

Cómo crear una variable: el valor de una variable puede cambiarse mientras el programa se ejecuta. Para crear una variable, añade la palabra clave var antes del nombre, y especifica su nombre, tipo y (opcionalmente) su valor inicial.

Haz clic en la imagen para ampliarla.

Cómo cambiar el valor de una variable: puedes cambiar el valor de una variable mientras el programa está en ejecución mediante la palabra clave set =.

Haz clic en la imagen para ampliarla.

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

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

• 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 tipo, consulta Int.

float: Un float en Verse puede contener un número positivo o negativo con un punto decimal, cero o el valor NaN (no es un número). Los valores de punto flotante pueden ser entre los siguientes valores, inclusive:

• 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: un string en Verse puede contener letras, números, puntuación, espacios y emojis 🐈. Una cadena que no contiene ningun carácter "" se denomina cadena vacía.

Puedes inyectar el resultado de una expresión en una cadena con {} dentro de "". Esto se denomina interpolación de cadena.

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

message: un message en Verse puede contener texto independiente de la región. Cuando inicializas una variable message con un valor de string, la cadena es el texto y el idioma predeterminado para el mensaje. Si se construye un mensaje con el especificador localizes produce un mensaje que es igual a sí mismo y desigual al resto de los mensajes, independientemente de si el texto predeterminado es el mismo entre dos mensajes.

Puedes convertir el texto en una cadena que puede mostrarse en el tiempo de ejecución si usas la función Localize() que formatea el texto en función de la región actual.

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

locale: este tipo representa en qué contexto un valor message debe localizarse. Esto afecta el idioma del texto y la manera de representar los números, comunes a la localización.

Actualmente, el tipo locale no se implementó completamente, por lo que la función Localize() solo devolverá el texto predeterminado que brindaste al crear el mensaje.

rational: el tipo rational es el resultado de una división de enteros y solo puede usarse como argumento de las siguientes funciones:

• Floor(): redondea hacia abajo el valor racional al entero más cercano.

• Ceil(): redondea el valor racional al 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 supuestos:

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

• Como tipo de constantes o parámetros de función, que indica que el valor no es útil. Por ejemplo, utiliza nulo para constantes o parámetros de función cuando sobrescribas 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 se puede comparar con cualquier otro valor de este tipo en términos de su igualdad. El tipo comparable es el supertipo de todos los tipos que se puede comparar en términos de su igualdad. Para obtener más información sobre el tipo comparable, consulta Comparable.

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

• Sin valor: asigna false a la opción para marcar que no está definida.

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

Para especificar el tipo, añade ? antes del tipo de valor esperado para almacenar en la opción. Por ejemplo, ?int.

Acceder a un elemento en una opción: usa el operador de consulta ? con la opción, como MaybeANumber?. Acceder al valor almacenado en una opción es una expresión falible porque es posible que no haya ningún valor en la opción por lo que debe usarse 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 incluye todos los enteros entre los valores inicial y final, inclusive.

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

Cómo crear una matriz: usa la palabra clave array seguida de {}. Si deseas especificar los elementos iniciales de la matriz, añade la expresión entre {}, separada por ,. Añade [] antes del tipo de valor esperado a almacenar en la matriz, por ejemplo, []int, para especificar el tipo.

Cómo acceder a un elemento en una matriz: usa [] con el índice del elemento al que deseas acceder, como, por ejemplo, ExampleArray[0]. Acceder al valor almacenado en una matriz es una expresión falible porque es posible que no exista un elemento en dicho índice; por ello debe usarse en un contexto de fallo.

Cómo cambiar un elemento en una matriz: puedes cambiar el valor almacenado en una variable de la matriz en un índice si usas la palabra clave set =.

Cómo iterar una matriz: puedes acceder a todos los elementos en una matriz, en orden, desde el primero al último, mediante la expresión for. Con la expresión for, puedes obtener el elemento con la sintaxis (Item : ExampleArray), o el elemento y su índice con la sintaxis (Index -> Item : ExampleArray).

Cómo obtener el número de elementos en una matriz: usa .Length en la matriz, y su resultado será el número de elementos en la matriz.

Cómo concatenar matrices: puedes fusionar matrices con el operador +.

Cómo crear una tupla: usa () y especifica dos o más elementos, separados por ,. Especifica el tipo con la palabra clave tuple seguida de (), con el tipo de cada elemento explícitamente especificado entre (). Por ejemplo, tuple(int, float, string).

Cómo acceder a un elemento en una tupla: usa () con el índice del elemento al que deseas acceder, como por ejemplo, ExampleTuple(0). Acceder al valor almacenado en una tupla no es una expresión falible.

Expansión de tupla: cuando usas una tupla como un argumento a una función en lugar de especificar cada argumento individual, es posible llamar a la función con cada elemento de la tupla que se usa como argumento en el orden en que están especificados en la tupla.

Conversión de matriz de tupla: es posible pasar tuplas cuando se espere una matriz, siempre que los elementos de la tupla sean todos del mismo tipo que la matriz. No se pueden pasar matrices cuando se espera una tupla.

Cómo crear un mapa: utiliza la palabra clave map seguida de {}. Si deseas especificar los elementos iniciales del mapa, añade los pares clave-valor entre {}, separados por ,. Añade [key-type] para especificar el tipo, donde tipo de clave es el tipo que se usa para las claves antes del tipo de valor que se espera se almacene en el mapa. Por ejemplo, [string]int.

Acceder a un elemento en un mapa: usa [] con la clave del elemento al que deseas acceder, como ExampleMap[Key].

Iterar un mapa: puedes acceder a cada elemento en un mapa, en orden, del primer elemento insertado al último, mediante 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).

Cómo obtener el número de pares clave-valor en un mapa: usa .Length en el mapa y su resultado será el número de elementos en el mapa.

Cómo crear una enum: usa la palabra clave enum seguida de {}. Si deseas especificar los elementos iniciales en la enum, agrega los enumeradores entre {}, separados por ,.

Acceder a un enumerador: usa . en la enum, seguido del enumerador que deseas usar. Por ejemplo direction.Up.

Cómo crear una estructura: usa la palabra clave struct seguida de un bloque de código. Las definiciones en el bloque de código de la struct definen sus campos.

Cómo instanciar una struct: puedes construir una instancia de una struct a partir de un arquetipo. Un arquetipo define los valores de los campos de una struct.

Cómo acceder a los campos en una struct: puedes acceder al campo de una struct para obtener su valor al añadir . entre la instancia de struct y el nombre del campo.

Cómo crear una clase: las definiciones anidadas dentro de una clase definen los campos de la clase. Las funciones definidas como campos de una clase también se denominan métodos.

Cómo instanciar una clase: puedes construir una instancia de la clase con el nombre de la clase seguido de {} (el arquetipo). Un arquetipo define los valores de los campos de una clase.

Cómo acceder a los campos en una clase: puedes acceder al campo de una clase para obtener su valor al añadir . entre la instancia de la clase y el nombre del campo.

Cómo acceder a los métodos de una clase: puedes acceder a los métodos de una clase para llamarlos al añadir . entre la instancia de la clase y el nombre del método.

Self: puedes usar Self en un método de clase para hacer referencia a la instancia de una clase sobre la que se llamó el método. Puedes hacer referencia a otros campos de la instancia a la que se llamó el método sin usar Self, pero si necesitas hacer referencia a la instancia en su totalidad, debes usar Self.

Cómo crear una subclase: especifica una clase como subclase de otra añadiendo la otra clase entre () en class().

Cómo anular campos en la superclase: puedes cambiar los valores de un campo definido en la superclase para la subclase simplemente añadiendo el especificador <override> en el nombre del campo.

Cómo anular métodos en la superclase: [INCLUDE:#overriding_methods_on_superclass_description]

Super: al igual que con Self, puedes usar (super:) para acceder a las implementaciones de la superclase de los campos y los métodos. Para poder utilizar (super:), el campo o el método debe implementarse en la definición de la superclase.

Cómo definir un constructor para una clase: puedes añadir un constructor para una clase si añades el especificador <constructor> en el nombre de la función. En lugar de especificar un tipo de devolución a la función, se asigna a la función el nombre de la clase seguido de cualquier inicialización de campos. Una clase puede tener más de un constructor.

Cómo 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: puedes llamar a otros constructores desde un constructor. También puedes llamar constructores de la superclase de la clase desde un constructor de la clase siempre que todos los campos estén inicializados. Cuando un constructor llama a otro constructor y ambos constructores inicializan campos, solo los valores proporcionados al primer constructor se usan en los campos. El orden de evaluación de las expresiones entre los dos constructores será el orden en que están escritas las expresiones (en lo que respecta a efectos secundarios) pero solo se usarán los valores proporcionados al primer constructor.

Cómo crear una interfaz: se define una interfaz de manera similar a una clase, excepto con la palabra clave interface. En la definición, puedes especificar los métodos asociados con la interfaz.

Cómo extender una interfaz: una interfaz puede extender la definición de otra interfaz al especificar la interfaz a extender entre () en interface().

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

Cómo implementar varias interfaces: una clase puede implementar varias interfaces. Las interfaces se separan con , entre el () en class().

Cómo heredar de una interfaz a otra clase: una clase puede implementar una interfaz y ser una subclase de otra clase. La interfaz y la superclase se separan con , entre el () en class().

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

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

Tipo paramétrico como argumento de tipo implícito a funciones: el motivo para usar tipos paramétricos implícitos con funciones es que permite escribir código invariable de un tipo particular en lugar de para cada tipo con el que se usa la función. Para obtener más información, consulta Tipos paramétricos.

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

Subtipo: puedes usar subtype para añadir una limitación a una variable de tipo. Requiere que el tipo que pueda reemplazar una variable de tipo sea un subtipo de un argumento a subtipo. Cualquier cosa que pueda reemplazar a t en una llamada a Filter debe ser un subtipo de comparable.

Pregunta ?

El operador ? comprueba si un valor logic es true. Consulta Pregunta para obtener más detalles.

posfijo

9

TargetLocked?

No not

El operador not niega el éxito o fallo de una expresión. Consulta Not 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 detalles.

Prefijo

8

+1

Negativo -

Puedes usar el operador - como prefijo de un número para negar el valor del número. Consulta Matemáticas para obtener más detalles.

Prefijo

8

-1

Multiplicación *

El * multiplica dos valores numéricos. Consulta Matemáticas para obtener más detalles.

infijo

7

2 * 3

División /

El operador / divide el primer operando numérico por el segundo operando numérico. La división de enteros es falible. Consulta Matemáticas para obtener más detalles.

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 detalles.

infijo

6

2 + 3

Resta -

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

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 detalles.

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 detalles.

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 detalles.

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 entero. Consulta Matemáticas para obtener más detalles.

infijo

5

set VariableName /= 2

Es 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

Distinto de <>

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 solo tiene éxito cuando todos los operandos tienen éxito. Consulta Operadores And y Or para obtener más información.

infijo

3

Value1 y Value2

O or

El operador or tiene éxito si al menos uno de los operandos tiene éxito. Consulta Operadores And y Or para obtener más información.

infijo

2

Value1 o Value2

Inicialización de variables y constantes : =

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

infijo

1

ConstantName := 5

Asignación de variables set =

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

infijo

1

set VariableName = 5

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

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

Línea única entre llaves: encerrado entre {} con cada expresión separada por ;.

Última expresión devuelta con un valor: de manera predeterminada, la última expresión en el bloque de código de la función es el resultado de dicha función cuyo valor debe coincidir con el tipo de devolución de la función.

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

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

Llamada a función falible: una llamada a función falible tiene la forma FunctionName[]. La función se marca como falible cuando su definición tiene el especificador decides.

Llamada a 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 con alguno de los operadores de comparación. Si deseas obtener más información, consulta Operadores.

División de enteros: en el caso de los enteros, el operador de división / es falible y el resultado en un tipo racional si tiene éxito. Si deseas obtener más información, consulta Operadores.

Decisión: una expresión de decisión utiliza los operadores not, and y or para darte control sobre el éxito y el fracaso del flujo de decisión. Si deseas obtener más información, consulta Operadores.

Consulta: una expresión de consulta utiliza el operador ? comprueba si un valor lógico o de opción es true. En caso contrario, la expresión falla. Si deseas obtener más información, consulta Operadores.

Acceder a un elemento en una matriz: acceder al valor almacenado en una matriz es una expresión falible porque es posible que no haya un elemento en dicho índice por lo que debe usarse 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 con el especificador de efecto decides.

El operando para el operador not.

El operando izquierdo para el operador or.

Inicializando 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 cualquier acción que realice la función no podrá revertirse por lo que la función no puede usarse en un contexto de fallo. No es posible especificar manualmente este efecto.

Efectos exclusivos

transacts: este efecto indica que cualquier acción realizada por la función puede revertirse. El efecto transacts es obligatorio siempre que se escriba una variable mutable (var). Cuando compiles el código, se te notificará si se ha añadido el efecto transacts a una función que no puede revertirse. Ten presente que esta comprobación no se realiza en funciones con el especificador native.

varies: este efecto indica que la misma entrada a la función puede no siempre producir la misma salida. El efecto varies también indica que no se garantiza que el comportamiento de la función permanezca igual 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. Existe un requisito no verificado que la función, cuando se proporcionen los mismos argumentos, produzca el mismo resultado. Cualquier función que no tenga el especificador native y, que de lo contrario, tenga el efecto converges, es un buen ejemplo del uso del efecto computes.

converges: este efecto garantiza que no solo no hay efectos secundarios de la ejecución de la función relacionada sino que la función se completa de forma definitiva (no se repite infinitamente). Este efecto solo puede aparecer en funciones que tengan el especificador nativo, pero el compilador no lo comprueba. El código que se use para proporcionar valores predeterminados de clase o valores de variables globales debe tener este efecto. Las funciones sin(), cos() y tan() son ejemplos de funciones que tienen el efecto converges.

Efectos aditivos

decides: indica que la función puede fallar y que llamar a esta función es una expresión falible. Las definiciones de función con el efecto decides también deben tener el efecto transacts, es decir, las acciones que realicen estas funciones puede revertirse (como si nunca se hubieran realizado) si se produce algún fallo en 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 clase tiene el especificador abstract, no se puede crear una instancia de la clase. La finalidad de las clases abstractas es usarlas como superclases con una implementación parcial o como una interfaz común. Esto es útil cuando no tiene sentido tener instancias de una superclase pero no deseas duplicar las propiedades y comportamientos en todas las clases similares.

concrete: cuando una clase tiene el especificador concrete, debe ser posible construirla con un arquetipo vacío; es decir, todos los campos de la clase deben tener un valor predeterminado. Todas las subclases de una clase concreta son implícitamente concretas. Una clase concreta solo puede heredar directamente de una clase abstracta si ambas clases están definidas en el mismo módulo.

unique: el especificador unique se puede aplicar 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 la igualdad de las instancias de clases únicas mediante la comparación de sus identidades. Las clases sin el identificador unique no tienen dicha identidad y su igualdad solo pueden compararse con base en los valores de sus campos. Esto significa que las clases únicas pueden compararse con los operadores = y <> y son subtipos del tipo comparable.

native_callable: indica que un método de instancia es nativo (implementado en C++) y que otro código de C++ podría llamarlo. Puedes ver este especificador usado en un método de instancia. Este especificador no se propaga a subclases por lo que no es necesario que lo añadas a una definición cuando anules el método que tiene este especificador.

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

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

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

Resultado: el resultado de la expresión loop es void, es decir, no produce un resultado útil.

Resultado: el resultado de la expresión loop es void, es decir, no produce un resultado útil.

Resultado: el resultado de la expresión loop es void, es decir, no produce un resultado útil.

Resultado: el resultado de la expresión loop es void, es decir, no produce un resultado útil.

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

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

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

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

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 concurrentemente todas las expresiones en el bloque de código y espera a que todas finalicen antes de ejecutar la siguiente expresión después de sync.

El cuerpo de la expresión branch se inicia apenas se encuentra. El cuerpo de la expresión de derivación continúa evaluándose hasta que se completa el bloque de código o se completa el contexto asíncrono adjunto, lo que ocurra primero, momento en el que se cancela la tarea de bloque de código de branch.

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

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

Similar a sync, aunque cancela todo menos la subexpresión "ganadora". Si cualquier otra expresión se completa en el mismo tiempo de simulación que la expresión más temprana, la primera expresión (más temprana) "gana" y desempata. Cualquier tarea de subexpresión "perdedora" se cancela.

Similar a race, pero las expresiones que se completan después de haber finalizado la primera expresión continúan ejecutándose. Si cualquier expresión se completa efectivamente en la misma actualización de simulación, la expresión que se encontró más temprano que se completa desempata. Cualquier expresión incompleta continúa evaluándose hasta que se completa o hasta que se completa el contexto asíncrono que las encierra; en este momento, las expresiones perdedoras restantes se cancelan (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 spawn crea un contexto asíncrono como el cuerpo de una función asíncrona. Sin embargo, solo se permite una única llamada a función asíncrona dentro del cuerpo de la spawn. La función asíncrona de la spawn comienza tan pronto como se la encuentra y evalúa tanto como sea posible hasta que encuentra algo que la suspende o bloquea. La función asíncrona generada continúa evaluándose hasta que se completa sin más conexión con la ubicación donde se generó.

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

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

módulo: fuera de los módulos que las carpetas introducen a un proyecto, los módulos se pueden introducir dentro de un archivo .verse mediante la palabra clave module.