3
Pourquoi deux points pour indiquer qu'une valeur appartient à un type?
Pierce (2002) introduit la relation de frappe à la page 92 en écrivant: La relation de typage pour les expressions arithmétiques, écrite "t: T", est définie par un ensemble de règles d'inférence affectant des types aux termes et la note de bas de page indique que le symbole est souvent …