I dagens bokklubb snackade vi om Kapitel 26 som bland annat innehöll en fördjupning i profunctor. Vi pratade om vad man egentligen ska ha all denna kategoriteori till egentligen. :-)
och sedan läser jag ett mail från Johan Haleby om
https://occurrent.org (tack!!!!) där han länkar till denna presentation om hur man kan se Event Sourcing som Applicative Profunctors (börjar cirka 1h och 18 min in)
Helt plötsligt känner jag mig motiverad att lära mig mer kategoriteori igen eftersom alla dessa begrepp känns faktiskt rätt så naturliga nu! Vad sägs om att köra en meetup om en vecka eller två och fortsätta prata event sourcing och funktionell programmering?
Lite stolpar:
Decider<Cmd,Evt,State>
contravariant functor för commands
profunctor för events
profunctor för state
natural transformation optc från Decider<C,E,S> till Decider<Maybe<C>,E,S>