Currying
Currying is een techniek uit de wiskunde en de informatica waarbij een functie met meerdere argumenten wordt veranderd in een aantal functies met elk één argument. De wiskundigen Moses Schönfinkel en Gottlob Frege legden de basis voor deze techniek, die genoemd is naar Haskell Brooks Curry. Curry wordt gebruikt in Lambda calculus. Sommige programmeertalen, zoals ML en Haskell zeggen dat functies slechts één argument kunnen hebben.
Vragen en antwoorden
V: Wat is curry?
A: Currying is een techniek uit de wiskunde en informatica waarbij een functie met meerdere argumenten wordt veranderd in een aantal functies met elk één argument.
V: Wie legde de basis voor currying?
A: Wiskundigen Moses Schönfinkel en Gottlob Frege legden de basis voor de currytechniek.
V: Wie is Haskell Brooks Curry en wat heeft hij met curry te maken?
A: Haskell Brooks Curry is een wiskundige naar wie de currytechniek is vernoemd.
V: Wat is lambda calculus?
A: Lambda calculus is een formeel systeem in wiskundige logica en informatica dat gebruikt wordt om berekeningen uit te drukken.
V: Wat is de rol van currying in lambda calculus?
A: Currying wordt in Lambda calculus gebruikt om functies met meerdere argumenten te reduceren tot een reeks functies met slechts één argument.
V: Zijn er programmeertalen die functies beperken tot slechts één argument?
A: Ja, sommige programmeertalen zoals ML en Haskell hebben de beperking dat functies maar één argument kunnen hebben.
V: Waarom beperken programmeertalen zoals ML en Haskell het aantal argumenten dat functies kunnen hebben?
A: Deze beperking wordt gemotiveerd door de eenvoud en flexibiliteit van currying. Door functies met slechts één argument te hebben, kunnen ze gemakkelijk worden samengesteld en gecombineerd, wat leidt tot beknoptere en herbruikbare code.
