Epizód
C9 Előadások: Dr. Erik Meijer - Funkcionális programozás alapjai fejezet 6/13
A 6. fejezetben Dr. Meijer végigvezet minket a rekurzív funkciók világán. A Haskellben a függvények önmagukban definiálhatók. Az ilyen függvényeket rekurzívnak nevezzük.
Például:
factorial 0 = 1
factorial (n+1) = (n+1) * faktoriális n
factorial maps 0 to 1, and other positive integer to the product of its and the factorial of its elődje.
Egyes függvények, például a faktoriális, egyszerűbben definiálhatók más függvények szempontjából. Amint azonban látni fogjuk, számos függvény természetesen meghatározható önmagában.
A rekurzióval definiált függvények tulajdonságai az indukció egyszerű, de hatékony matematikai technikájának használatával bizonyíthatók.
Ezeket egymás után kell néznie (vagy az ebben a tartományban lévő tudásszinttől függően kihagyhatja):
1. fejezet 2. fejezet 3. fejezet 4. fejezet 5. fejezet 6. fejezet 7. fejezet 8. fejezet 9. fejezet 10. fejezet 11. fejezet 12. fejezet 13
A 6. fejezetben Dr. Meijer végigvezet minket a rekurzív funkciók világán. A Haskellben a függvények önmagukban definiálhatók. Az ilyen függvényeket rekurzívnak nevezzük.
Például:
factorial 0 = 1
factorial (n+1) = (n+1) * faktoriális n
factorial maps 0 to 1, and other positive integer to the product of its and the factorial of its elődje.
Egyes függvények, például a faktoriális, egyszerűbben definiálhatók más függvények szempontjából. Amint azonban látni fogjuk, számos függvény természetesen meghatározható önmagában.
A rekurzióval definiált függvények tulajdonságai az indukció egyszerű, de hatékony matematikai technikájának használatával bizonyíthatók.
Ezeket egymás után kell néznie (vagy az ebben a tartományban lévő tudásszinttől függően kihagyhatja):
1. fejezet 2. fejezet 3. fejezet 4. fejezet 5. fejezet 6. fejezet 7. fejezet 8. fejezet 9. fejezet 10. fejezet 11. fejezet 12. fejezet 13
Visszajelzés küldene? Problémát itt küldhet be.