Functioneel programmeren Haskell

Wat is functionele programmering?

Een programmeerstijl waarbij functies de belangrijkste bouwstenen zijn en waarbij de nadruk ligt op het gebruik van immutabele gegevens.

Wat zijn pure functies?

Functies die altijd dezelfde output geven voor dezelfde input en geen bijwerkingen hebben.

Vul de lege ruimte in: In Haskell zijn ____ gegevens onveranderlijk.

Alle

Hoe verschilt Haskell van imperatieve talen?

Haskell is declaratief en richt zich op 'wat' er moet gebeuren, in tegenstelling tot 'hoe' het moet worden gedaan.

Wat is een lambda-expressie?

Anonieme functie die kan worden gedefinieerd zonder een naam te geven, bijvoorbeeld: \x -> x + 1.

Wat is typesysteem in Haskell?

Haskell heeft een statisch en sterk typesysteem dat typefouten tijdens compileertijd voorkomt.

Vul de lege ruimte in: Haskell gebruikt ____ om functies samen te voegen.

Functionele compositie

Wat zijn hogere-orde functies?

Functies die andere functies als argumenten nemen of functies retourneren.

Waarvoor staan de letters in 'IO'?

Input/Output; het type dat gebruikt wordt voor interactie met de buitenwereld.

Wat is lazy evaluation?

Een evaluatie-strategie waarbij expressies pas worden berekend wanneer ze nodig zijn, wat efficiëntie kan verbeteren.

Geef een voorbeeld van een rekursieve functie.

Een functie die zichzelf aanroept, zoals de factorial functie: factorial n = if n == 0 then 1 else n * factorial (n - 1).

Wat is een datatypes in Haskell?

Een manier om nieuwe types te definiëren; bijvoorbeeld: data Kleur = Rood | Groen | Blauw.

Wat doet de 'let' expressie?

Definieert lokale variabelen of functies binnen een specifieke scope.

True of False: Haskell ondersteunt het concept van imperatieve staten.

False; Haskell gebruikt immutabele waarden en pure functies.

Wat zijn algebraïsche datatypes?

Een manier om complexe datatypes te creëren uit eenvoudigere types door ze samen te voegen.

Wat is pattern matching?

Een syntactische functie die het mogelijk maakt om gegevensstructuren te ontleden en te verwerken op basis van hun vorm.

Wat is een typeclass in Haskell?

Een typeclass is een verzameling van types die bepaalde functies implementeren. Voorbeelden zijn 'Eq' voor gelijkheid en 'Ord' voor ordening.

Monad versus Applicative: wat is het verschil?

Een Monad biedt een manier om sequentiële operaties uit te voeren, terwijl een Applicative kan worden gebruikt voor parallelle applicaties van functies.

Vul de lege ruimte in: Een ___ is een constructie die een waarde 'omhult'.

Een monade is een constructie die een waarde 'omhult' en extra context toevoegt.

True of False: Monaden zijn alleen voor IO-acties.

False: Monaden kunnen worden gebruikt voor meer dan alleen IO; ze zijn ook nuttig voor state management en foutafhandeling.

Geef een voorbeeld van een monade.

De Maybe-monaad is een voorbeeld. Het kan een waarde bevatten of 'Nothing' zijn, wat aangeeft dat er geen waarde is.

Wat zijn Functors in Haskell?

Functors zijn typeconstructies die een 'map'-functie bieden. Hiermee kun je functies toepassen op waarden binnen de context van het type.

Wat is het doel van de 'do'-notatie?

De 'do'-notatie vereenvoudigt het schrijven van monadische code. Het maakt sequentiële monadische operaties leesbaarder.

Geef een voorbeeld van een typeclass-implementatie.

Bijvoorbeeld, een type kan de 'Eq'-typeclass implementeren door de '==' operator te definiëren voor dat type. Dit maakt vergelijking mogelijk.