Aflevering
C9 Lezingen: Dr. Erik Functioneel Programmeren Fundamentals Hoofdstuk 6 van 13
In hoofdstuk 6 begeleidt Dr. Vervult ons door de wereld van recursieve functies. In Haskell kunnen functies worden gedefinieerd in termen van zichzelf. Dergelijke functies worden recursief genoemd.
Bijvoorbeeld:
faculteit 0 = 1
faculteit (n+1) = (n+1) * faculteit n
factorial wijst 0 toe aan 1 en elk ander positief geheel getal aan het product van zichzelf en de faculteit van de voorafgaande waarde.
Sommige functies, zoals factoriële functies, zijn eenvoudiger te definiëren in termen van andere functies. Zoals wij zullen zien, kunnen veel functies natuurlijk op zichzelf worden gedefinieerd.
Eigenschappen van functies die zijn gedefinieerd met behulp van recursie kunnen worden bewezen met behulp van de eenvoudige maar krachtige wiskundige techniek van inductie.
U moet deze op volgorde bekijken (of overslaan, afhankelijk van uw genezende kennisniveau in dit domein):
Hoofdstuk 1Hoofdstuk 2Hoofdstuk 3Hoofdstuk 4 Hoofdstuk 5Hoofdstuk 6Hoofdstuk 7Hoofdstuk 8Hoofdstuk 9Hoofdstuk 10Hoofdstuk 11Hoofdstuk 12Hoofdstuk 13
In hoofdstuk 6 begeleidt Dr. Vervult ons door de wereld van recursieve functies. In Haskell kunnen functies worden gedefinieerd in termen van zichzelf. Dergelijke functies worden recursief genoemd.
Bijvoorbeeld:
faculteit 0 = 1
faculteit (n+1) = (n+1) * faculteit n
factorial wijst 0 toe aan 1 en elk ander positief geheel getal aan het product van zichzelf en de faculteit van de voorafgaande waarde.
Sommige functies, zoals factoriële functies, zijn eenvoudiger te definiëren in termen van andere functies. Zoals wij zullen zien, kunnen veel functies natuurlijk op zichzelf worden gedefinieerd.
Eigenschappen van functies die zijn gedefinieerd met behulp van recursie kunnen worden bewezen met behulp van de eenvoudige maar krachtige wiskundige techniek van inductie.
U moet deze op volgorde bekijken (of overslaan, afhankelijk van uw genezende kennisniveau in dit domein):
Hoofdstuk 1Hoofdstuk 2Hoofdstuk 3Hoofdstuk 4 Hoofdstuk 5Hoofdstuk 6Hoofdstuk 7Hoofdstuk 8Hoofdstuk 9Hoofdstuk 10Hoofdstuk 11Hoofdstuk 12Hoofdstuk 13
Wilt u feedback geven? Dien hier een probleem in.