Come utente abituale di Standard ML e, in misura minore, di Haskell, il seguente schema è profondamente radicato nel mio approccio "istintivo" alla navigazione e all'apprendimento di nuove API:
Comprendi i tipi.
Ricava e usa teoremi liberi...
posta
04.09.2015 - 20:39