Tipado de funciones anónimas

Parte de la sección Introducción a Luau del Journey de Lua de Coddy. Lección 24 de 80.

En Lua, las funciones son valores: las has almacenado en variables y las has pasado de un lado a otro: local f = function(x) return x * 2 end. Estas funciones anónimas (expresiones de función) llevan anotaciones de tipo igual que las funciones con nombre:

local double = function(x: number): number
    return x * 2
end

local shout = function(text: string): string
    return string.upper(text) .. "!"
end

Los parámetros llevan name: type entre paréntesis, y el tipo de retorno va después del paréntesis de cierre: la única diferencia respecto a una función con nombre es que la palabra clave function no tiene nombre y que toda la expresión se asigna a una variable.

Si conoces JavaScript o TypeScript, ten en cuenta que Luau no tiene funciones flecha. No existe la sintaxis =>. Todas las expresiones de función se escriben con function ... end, sean largas o cortas.

Una vez asignada, la llamas a través de la variable como a cualquier función: double(21) devuelve 42, y el comprobador verifica cada llamada según las anotaciones que escribiste.

Desafío

Fácil

Guarda funciones tipadas en variables locales.

Reescribe subtract como local subtract = function(a: number, b: number): number, conservando su cuerpo.
Añade local isPositive = function(num: number): boolean que devuelva num > 0.
Imprime subtract(10, 3) e isPositive(-5).

Pulsa Run Code: la salida muestra 7 y false.

Pruébalo tú mismo

-- Reescribe esto como una función anónima almacenada en una variable local
function subtract(a: number, b: number): number
    return a - b
end

Todas las lecciones de Introducción a Luau

1Primeros pasos con Luau

¿Qué es Luau?¿Por qué usar Luau?Tu primer código en Luau Comprobación de tipos y modos de error Recapitulacion: Introducción a Luau

4Trabajar con funciones

Tipado de parámetros y valores de retornoTipado de funciones anónimasFunciones que no devuelven nada Parámetros opcionales Valores predeterminados de parámetros Valores predeterminados para booleanos Funciones variádicas Definir tipos de funciones Repaso: funciones tipadas

7Proyecto: Gestor de tareas tipado

Proyecto: La estructura de una tarea Función para añadir una tarea

Función para cambiar el estado de una tarea

Función: Listar tareas por estado

Función: Imprimir el resumen de tareas

Bucle de comandos: Añadir

Bucle de comandos: Listar y completar

Bucle de comandos: Resumen

10Proyecto: Inventario genérico

Proyecto: Elemento de inventario Función: Añadir elementos

La lista de armas

Función: Buscar elemento por ID

Tipos específicos de inventario

Función: Describir elementos

Responder consultas sobre elementos

2Tipos fundamentales

Número, cadena y booleano El tipo 'any': una salida de emergencia El tipo 'unknown'Tipos nulos y opcionales La inferencia de tipos en acción Anotaciones de tipo explícitas Repaso: práctica de tipos fundamentales

5Alias, Uniones e Intersecciones

Alias de tipos para primitivos Tipos de unión Trabajando con tipos de unión Tipos literales Tipos de intersección Combinando alias de tipos Resumen: Combinaciones avanzadas de tipos

8Enums al estilo de Luau

El patrón Enum en Luau Enums numéricos con tablas Enums de cadena como uniones Uso de uniones literales como Enums Congelación de tablas constantes Recapitulación: Enums al estilo de Luau

11Temas avanzados

Aserciones de tipo Protectores de tipo con typeof El tipo never Seguridad frente a nil en modo estricto Firmas de índice Repaso: tipos de valores de configuración Repaso: ajuste fino de tipos

Practica por tu cuenta: Compilador de Luau online