Histórico da Página

Qual a forma básica de declarar uma função tipada?

Function name (parameters) as Type

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.

Function typedFunc() as Numeric

O compilador checa se o retorno da função é compatível com o seu tipo declarado?
Sim, o compilador verifica e está bem atento a isso, para que a qualidade dos produtos Protheus seja cada vez melhor.
Os exemplos seguintes retratam, respectivamente, .
A seguir, observe uma função sem erros de compilação e outra com erro de retorno. 

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
Chamadas de funções declaradas no mesmo fonte , poderemos checar eventuais inconsistências passam pela checagem 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.