chapter i
The Clear Function
No muddy surprise enters the water. Given the same rain, the same pearl returns, patient and bright.
pure :: a -> f a
rain-washed conservatory / lambda stream
haskell.quest
A quiet river walk where pure functions flicker like tropical fish beneath pearl glass.
chapter ii
The Gentle Type
A type is a reed fence around the pond: not a wall, but a tender contour showing where each creature may swim.
map :: (a -> b) -> [a] -> [b]
chapter iii
The Recursive Stream
The river remembers itself in smaller curves, a meadow song returning until the shape is understood.
foldr (:) [] meadow
chapter iv
The Composed Meadow
At sunrise, every small spell joins the next. The pond does not ask for a button; it reflects the word that brought you here.
compose
( meadow . stream . λ )