2
Terminologia corretta nella teoria dei tipi: tipi, costruttori di tipi, tipi / specie e valori
In una risposta a una domanda precedente , è iniziato un piccolo dibattito sulla terminologia corretta per alcuni costrutti. Dato che non ho trovato una domanda (diversa da questa o quella , che non è proprio la cosa giusta) per rispondere in modo chiaro, sto realizzando questa nuova. I termini …