Episodio
Lezioni C9: Dr. Erik Meijer - Concetti fondamentali della programmazione funzionale 6 di 13
Nel capitolo 6, dr. Meijer ci guida attraverso il mondo delle funzioni ricorsive. In Haskell le funzioni possono essere definite in termini di se stessi. Tali funzioni vengono chiamate ricorsive.
Ad esempio:
fattoriale 0 = 1
factorial (n+1) = (n+1) * factorial n
fattoriale mappa 0 a 1 e qualsiasi altro intero positivo al prodotto stesso e il fattoreiale del suo predecessore.
Alcune funzioni, ad esempio fattoriali, sono più semplici da definire in termini di altre funzioni. Come si vedrà, tuttavia, molte funzioni possono essere naturalmente definite in termini di se stessi.
Le proprietà delle funzioni definite usando la ricorsione possono essere dimostrate usando la semplice tecnica matematica ma potente di induzione.
È consigliabile watch questi elementi in sequenza (o ignorare in base al livello di conoscenza curante in questo dominio):
Capitolo 1 Capitolo 2 Capitolo 3 Capitolo 4 Capitolo 5 Capitolo 6 Capitolo 7 Capitolo 8 Capitolo 9 Capitolo 10 Capitolo 11 Capitolo 12 Capitolo 13
Nel capitolo 6, dr. Meijer ci guida attraverso il mondo delle funzioni ricorsive. In Haskell le funzioni possono essere definite in termini di se stessi. Tali funzioni vengono chiamate ricorsive.
Ad esempio:
fattoriale 0 = 1
factorial (n+1) = (n+1) * factorial n
fattoriale mappa 0 a 1 e qualsiasi altro intero positivo al prodotto stesso e il fattoreiale del suo predecessore.
Alcune funzioni, ad esempio fattoriali, sono più semplici da definire in termini di altre funzioni. Come si vedrà, tuttavia, molte funzioni possono essere naturalmente definite in termini di se stessi.
Le proprietà delle funzioni definite usando la ricorsione possono essere dimostrate usando la semplice tecnica matematica ma potente di induzione.
È consigliabile watch questi elementi in sequenza (o ignorare in base al livello di conoscenza curante in questo dominio):
Capitolo 1 Capitolo 2 Capitolo 3 Capitolo 4 Capitolo 5 Capitolo 6 Capitolo 7 Capitolo 8 Capitolo 9 Capitolo 10 Capitolo 11 Capitolo 12 Capitolo 13
Per inviare suggerimenti, Invia un problema qui.