A Brutalist Bestiary of Functional Programming
class Monad m where
Behold the beast of sequential computation. It chains operations in its nested coils, binding values through dark tunnels of context. Many have entered its lair seeking the meaning of >>=. Few return unchanged.
class Functor f where
A shape-shifting creature that maps functions over wrapped values. Its arrow-eyed gaze sees through containers, transforming contents while preserving structure. fmap is its battle cry.
class Functor f => Applicative f where
Born of the Functor lineage, this creature wields <*> to apply wrapped functions to wrapped values. Its star-burst gaze sees multiple futures simultaneously. pure is its summoning spell.
Face the code. Survive the types.
Concepts conquered. Monsters catalogued.