Haiku

Haskell haikus

1st prize in 'Original code poems' in the "Waikato ACM Code Poetry Contest 2006":

Haskell is concise

Functional well-typed and neat

It is like Haiku

by FMota, preserved in Lambdabot:

Haskell's cryptic form

is natural to some folks

and so is Haiku's

Monad haikus

From Monad laws#But it doesn't look exactly like an "associative law"...:

Monad axioms:
Kleisli composition forms
a category.

from #haskell

empty list error:

this elegant program dies

so very quickly

less time debugging

more time downloading your brain

to the type system

type checker: "You fool!

What you request makes no sense -

rethink your bad code."