The Lambda Cloister / chamber i
haskeller.net
A quiet proof-book where every room returns another room.
→→→→→
x
y
z
chamber ii / currying
One argument opens one door.
In the hall, functions do not rush. They receive a single key, then reveal a smaller threshold inside the first.
add :: Number -> Number -> Numberchamber iii / fold atrium
The many become one without losing their crease.
Each page remembers its edge. The atrium gathers a list into a theorem that can be carried in the palm.
foldracc[]:
“A pattern is a door drawn twice.”
>>=
chamber iv / monad well
Effects are carried in a vessel.
The well does not spill the world into the proof. It lowers a cup, binds a promise, and raises a changed reflection.
bind :: m a -> (a -> m b) -> m bMaybeIOEither
chamber v / lazy observatory
A value waits until named.
Above the cloister, unopened lanterns keep their light folded. Touch one and a delayed thought becomes a small star.
constellation :: Thought -> Sky∀for all
::has type
|choice
⊢therefore
chamber vi / type garden
Types are constellations for thought.
In the last room, signatures bloom like night plants. The path has not ended; it has reduced to a quieter form.
continue the evaluationhaskeller.net