Difference between revisions of "Haiku"
Jump to navigation
Jump to search
(→Monad haikus: source) |
(+code poetry contest) |
||
| Line 1: | Line 1: | ||
| − | == |
+ | ==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
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
Monad haikus
From Monad laws#But it doesn't look exactly like an "associative law"...:
Monad axioms:
Kleisli composition forms
a category.