Por que dois pontos para indicar que um valor pertence a um tipo?
Pierce (2002) introduz a relação de digitação na página 92 escrevendo: A relação de digitação para expressões aritméticas, escrita "t: T", é definida por um conjunto de regras de inferência que atribuem tipos a termos e a nota de rodapé diz O símbolo é frequentemente usado em vez de:. Minha...