Histórico da Página

Qual a forma básica de declarar uma função tipadadar tipos aos parâmetros?

Function name (parâmetros) as Typeparm1 as type1, parm2 as type2, ..., parmN as typeN)

Visite os Tipos Nativos.No atual estágio, Static Function, Main Function e Function podem ser tipadas, sem restrições.A tipagem para User Function (e possivelmente outras formas) ainda está em processo de validação e homologação.

Function typedFunc(parm1 as Numeric, parm2 as Character) as NumericVariant

Quais as checagens feitas em relação aos parâmetros?
Existem dois momentos em que a consistência dos parâmetros é checada:

1. Em tempo de compilação
   1. Estando a função ou método no mesmo fonte, o compilador observa se a quantidade de argumentos passados é coerente;
   2. Se os tipos dos argumentos passados são compatíveis com os tipos declarados.
      
      
2. Em tempo de execução
   1. Realiza os mesmos tratamentos de tempo de compilação, mas com potencial de olhar também funções ou métodos que foram definidos em outros fontes.

Function typedFunc() as Numeric
Local nVar := 10 as Numeric
Return nVar

Function typedFunc() as Numeric
Local cVar := "I Love TLPP"
Return cVar  // ERRO DE COMPILAÇÃO (Função Numeric tentando retornar um Character)

E o compilador também vai olhar as chamadas de funções?
Sim, o compilador também vai ficar atento a isso. No atual estágio, se a função chamada estiver no mesmo fonte, poderemos checar eventuais inconsistências de tipos.

Function typedFunc() as Numeric
Local nVar := 10 as Numeric
Return nVar
Function typedTest() as Logical
Local cVar := "I Love TLPP" as Character
Local cResult as Character
cResult := cVar + typedFunc() // ERRO DE COMPILAÇÃO (typedFunc é Numeric e, portanto, não pode ser somada a cVar, que é Character.
Return .T.