# Haiku

### From HaskellWiki

(Difference between revisions)

(honstly, these are more like senryu - they don't even have season words. but let's add 3 from #haskell) |
(→Haskell haikus: +scavenged from lb) |
||

Line 4: | Line 4: | ||

Functional well-typed and neat<br> | Functional well-typed and neat<br> | ||

It is like Haiku</blockquote> | It is like Haiku</blockquote> | ||

+ | |||

+ | by FMota, preserved in [[Lambdabot]]: | ||

+ | <blockquote>Haskell's cryptic form<br> | ||

+ | is natural to some folks<br> | ||

+ | and so is Haiku's</blockquote> | ||

=== Monad haikus === | === Monad haikus === |

## Revision as of 23:18, 5 December 2008

## 1 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

### 1.1 Monad haikus

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

Monad axioms:

Kleisli composition forms

a category.

### 1.2 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."