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) * factorial n

factorial maps 0 to 1, and other positive integer to the product of its and the factorial of its megelőző.

Egyes függvények, például a factorial 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 definiálható ö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 átugornia az ebben a tartományban lévő tudásszinttől függően):

1. fejezet 2. fejezet3.fejezet 4. fejezet 5. fejezet 6. fejezet 7. fejezet 8. fejezet 9. fejezet 10. fejezet 11.fejezet 12. fejezet 13. fejezet