Histórico da Página

Qual a forma básica de declarar um método tipado?

Deve-se mencionar o tipo na parte declarativa (estrutura da classe) e também na implementação do método, conforme exemplo seguinte.

Sugere-se visitar os Tipos Nativos.

#include "tlpp-object.th"
Class tMyClass
Public Method New() as Object
Public Method myMethod () as Numeric
EndClass

Public Method New() as Object class tMyClass as Object
Return Self

Public Method myMethod () as Numeric class tMyClass as Numeric
Return 10

A checagem de métodos está no mesmo estágio que a checagem de funções?
Sim, hoje o compilador apresenta as mesmas tratativas de checagem de tipos para funções ou métodos.
Isso quer dizer que ele vai olhar:

• se o retorno do método é compatível com o tipo declarado;
• se as chamadas àquele método, quando conhecido estaticamente o seu "Self", são compatíveis com a expressão em que a chamada faz parte. 

Recomenda-se visitar Tipando Funções.