2
Terminologia correta na teoria dos tipos: tipos, construtores de tipos, tipos / tipos e valores
Em resposta a uma pergunta anterior , iniciou-se um pequeno debate sobre a terminologia correta para certas construções. Como não encontrei uma pergunta (além desta ou daquela , que não é a coisa certa) para abordar isso claramente, estou fazendo essa nova. Os termos questionáveis e seus relacionamentos são: tipo, …