Belangrijke onderwerpen
- Fun (Functie met Map & Identity functor aka Functor)
- Monad (Functor + FlatMap)
- Concat
- Option (None, some)
- Pair(fst, snd)
- Either (left, right)
- State
Om te beginnen run je:
tsc -w
node js/lesson1
Om functors te begrijpen heb je de kennis nodig van morfisme.
Morfisme is niets anders dan (f) hoe iets van a -> b transformeert
zie afbeelding voor verduidelijking:
Enige voorwaarde is dat elk object een eigen morfisme ID heeft:
Totaal voorbeeld die veel gebruikt wordt bij software engering:
Functor
Een functor is een functie die gemaakt is uit een morfisme.
Functor doet dus via een morfisme een object transformeren naar een ander object.
Monad is een Functor die als extra functionaliteiten het volgende heeft.
- Flatmap (join in de terminologie).
Monoid is een functie die altijd dezelfde uitkomst geeft
a + (b + c) is hetzelfde als (a + b) + c
Dit is de uitleg van een map functor:
Succes!