Nossa, obrigada pela contribuição! Particularmente, sempre achei que inferência de tipo e tipagem dinâmica eram sinônimos. Essa informação é bem nova para mim. :)

Para responder a sua pergunta, "consultei o universitários" para confirmar e Pituguês seria uma linguagem que infere o tipo baseado no tipo que o lado direito retorna.

Também agradeço pelo material sobre POO! Vou dar uma lida com calma e, de repente, repensar nossa forma de comunicação sobre o assunto. <3