Come ho capito e come descritto qui , il polimorfismo ad-hoc è limitato alla spedizione in fase di compilazione. Cioè, se abbiamo una funzione che si aspetta un argomento che appartiene a un typeclass, dobbiamo conoscere il tipo concreto dell'a...
posta
10.10.2014 - 19:26