7
Abusare dell'algebra dei tipi di dati algebrici: perché funziona?
L'espressione "algebrica" per i tipi di dati algebrici sembra molto suggestiva per qualcuno con un background in matematica. Vorrei provare a spiegare cosa intendo. Dopo aver definito i tipi di base Prodotto • Unione + Singleton X Unità 1 e usando la scorciatoia X²per X•Xe 2Xper X+Xeccetera, possiamo quindi definire …