haskell.monster

A benevolent kaiju made of lambda calculus, translucent plastic, and the good kind of type errors.

friendly strange power

Haskell, but wearing chunky platform sneakers.

This monster is not here to scare you away from functional programming.

It is here to stomp cheerfully through imperative habits, carrying pure functions in candy-colored claws.

Open the shell, watch the lambdas glow, and let the type system become a friend with a very big grin.

concept parade

Five bright pods from the monster's toolkit.

Functor

A box that lets a function travel through without breaking the shell.

Monad

Sequencing with a cheerful click: context, then context, then meaning.

Type Class

A badge of capability: prove what you can do, then reuse the magic.

Curry

One argument at a time, like snapping translucent modules together.

Lazy Eval

The monster naps until you actually need the answer, then wakes instantly.

code specimen

A candy-shell display case for pure thought.

data Monster a = Monster
  { heart :: a
  , glow  :: Lambda
  }

befriend :: Monster a -> IO Smile
befriend m = do
  hum "λ λ λ"
  pure (Smile (heart m))

welcome home

haskell.monster

Pure, lazy, typed, and friendlier than its legend.