2
Terminologie correcte dans la théorie des types: types, constructeurs de types, types / sortes et valeurs
En réponse à une question précédente , un petit débat a commencé sur la terminologie correcte pour certaines constructions. Comme je n'ai pas trouvé de question (autre que ceci ou cela , ce qui n'est pas tout à fait la bonne chose) pour y répondre clairement, je crée cette nouvelle …