The Lazy Gate
The bronze gate remains shut until curiosity touches it. Then the river evaluates, one luminous ripple at a time.
gate :: Thunk -> Path
Quest :: IO Wisdom
The Type Quest Atlas
A living manuscript for travelers who prefer pure functions, strange mountains, and proofs written beside campfire embers.
The Type Forest
Algebraic trees branch by sum and product. Every leaf carries a constructor, every root keeps a promise.
data Path = Gate | Ferry | Camp
Path
The Monad Ferry
A small boat ferries values across the effectful water, binding each arrival to the next safe bank.
(>>=) :: m a -> (a -> m b) -> m b
λ
The Pattern Match Ruins
Stone clauses stand in rows. Match the shape of the artifact and the ancient chamber opens.
case relic of Just rune -> light
awaiting a clause
The REPL Camp
At the final fire, questions become type signatures and the night answers in quiet violet sparks.
> :t quest
quest :: Reader Map (IO Awe)
> unfold atlas
category-theory star map
The Lambda Observatory
Above the route, proofs appear as constellations. Drag the sky by moving your pointer; the theorem moths will orbit the nearest idea.
Functor
Applicative
Monad
Foldable
Semigroup
“A type is a lantern: it does not walk the path for you, but it makes the impossible cliffs visible.”