3
Perché due punti per indicare che un valore appartiene a un tipo?
Pierce (2002) introduce la relazione di battitura a pagina 92 scrivendo: La relazione di battitura per le espressioni aritmetiche, scritta "t: T", è definita da un insieme di regole di inferenza che assegnano i tipi ai termini e la nota dice: Il simbolo viene spesso usato al posto di:. La …