# Haiku

### From HaskellWiki

(Difference between revisions)

(→Monad haikus: source) |
(+code poetry contest) |
||

Line 1: | Line 1: | ||

− | == Monad haikus == |
+ | ==Haskell haikus== |

+ | 1st prize in 'Original code poems' in the [http://www.cs.waikato.ac.nz/studentacm/codepoetry/entries06/entries.html "Waikato ACM Code Poetry Contest 2006"]: |
||

+ | <blockquote>Haskell is concise<br> |
||

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

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

+ | |||

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

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

## Revision as of 23:02, 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

### 1.1 Monad haikus

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

Monad axioms:

Kleisli composition forms

a category.