Menu
CoddyTech
Começar a aprender

Tipagem de funções anônimas

Parte da seção Introdução ao Luau do Journey de Lua da Coddy. Lição 24 de 80.

No Lua, funções são valores: você as armazenou em variáveis e as passou adiante: local f = function(x) return x * 2 end. Essas funções anônimas (expressões de função) recebem anotações de tipo exatamente como as funções nomeadas:

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

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

Os parâmetros recebem name: type dentro dos parênteses, e o tipo de retorno vem depois do parêntese de fechamento: a única diferença em relação a uma função nomeada é que a palavra-chave function não tem nome e a expressão inteira é atribuída a uma variável.

Se você já viu JavaScript ou TypeScript, observe que Luau não tem funções de seta. Não existe a sintaxe =>. Toda expressão de função é escrita com function ... end, seja longa ou curta.

Depois de atribuí-la, você a chama por meio da variável como qualquer função: double(21) retorna 42, e o verificador confere cada chamada com base nas anotações que você escreveu.

challenge icon

Desafio

Fácil

Armazene funções tipadas em variáveis locais.

  1. Reescreva subtract como local subtract = function(a: number, b: number): number, mantendo o corpo.
  2. Adicione local isPositive = function(num: number): boolean que retorna num > 0.
  3. Imprima subtract(10, 3) e isPositive(-5).

Pressione Executar código: a saída mostra 7 e false.

Experimente você mesmo

-- Reescreva isto como uma função anônima armazenada em uma variável local
function subtract(a: number, b: number): number
    return a - b
end

Todas as lições de Introdução ao Luau

1Começando com o Luau

O que é Luau?Por que usar Luau?Seu primeiro código em LuauVerificação de tipos e modos de erroRecapitulando: Introdução ao Luau

4Trabalhando com funções

Tipagem de parâmetros e valores de retornoTipagem de funções anônimasFunções sem retornoParâmetros opcionaisValores padrão dos parâmetrosValores padrão para booleanosFunções variádicasDefinindo tipos de funçãoRecapitulação: funções tipadas

7Projeto: Gerenciador de Tarefas Tipado

Projeto: A Estrutura da TarefaFunção para Adicionar uma TarefaLição de projetoFunção para Alterar o Status da TarefaLição de projetoFunção: Listar Tarefas por StatusLição de projetoFunção: Exibir Resumo das TarefasLição de projetoLoop de Comandos: AdicionarLição de projetoLoop de Comandos: Listar e ConcluirLição de projetoLoop de Comandos: ResumoLição de projeto

10Projeto: Inventário Genérico

Projeto: Item do InventárioFunção: Adicionar ItensLição de projetoA Lista de ArmasLição de projetoFunção: Encontrar Item por IDLição de projetoTipos Específicos de InventárioLição de projetoFunção: Descrever ItensLição de projetoResponder a Consultas sobre ItensLição de projeto

2Tipos básicos

Número, string e booleanoO tipo 'any': válvula de escapeO tipo 'unknown'Tipos nulos e opcionaisInferência de tipos na práticaAnotações explícitas de tipoRevisão: prática com tipos básicos

5Aliases, Uniões, Interseções

Aliases de Tipos para PrimitivosTipos de UniãoTrabalhando com Tipos de UniãoTipos LiteraisTipos de InterseçãoCombinando Aliases de TiposRecapitulando: Combinações Avançadas de Tipos

8Enums, do Jeito Luau

O Padrão Enum no LuauEnums Numéricos com TablesEnums de String como UnionsUsando Enums de Union LiteralCongelando Tables ConstantesRecapitulação: Enums, do Jeito Luau

11Tópicos Avançados

Asserções de TipoProteções de Tipo com typeofO Tipo neverSegurança contra nil no Modo EstritoAssinaturas de ÍndiceRevisão: Tipos de Valores de ConfiguraçãoRevisão: Ajuste Fino de Tipos

3Tabelas Tipadas: Arrays e Maps

Arrays TipadosAdicionando e Lendo ElementosO que é um Tipo Map?Declarando e Acessando MapsPercorrendo TabelasTabelas com Formatos MistosLendo uma GradeConstruindo uma Gradetable.unpackRevisão: Arrays e Maps

6Tipando Formatos de Tabelas

Anotações de Formato InlineAliases de Tipo para FormatosPropriedades OpcionaisFormatos vs. Tabelas FlexíveisEstendendo FormatosAdicionando Métodos a FormatosSelf e Métodos com Dois PontosRecapitulação: Definindo Formatos de Tabelas

9Generics: Uma Primeira Visão

O Problema que Generics ResolvemUma Função de Identidade GenéricaUsando uma Função GenéricaArrays GenéricosAliases de Tipos GenéricosRecapitulação: Funções Genéricas

Pratique por conta própria: Compilador de Luau online