Vista do Mais de uma maneira de continuar: referência, função e a tipagem de conceitos engenheirados