Difference between revisions of "Haiku"
Jump to navigation
Jump to search
(+code poetry contest) |
(honstly, these are more like senryu - they don't even have season words. but let's add 3 from #haskell) |
||
Line 13: | Line 13: | ||
a category. |
a category. |
||
</blockquote> |
</blockquote> |
||
+ | |||
+ | === from #haskell === |
||
+ | <blockquote>empty list error:<br> |
||
+ | this elegant program dies<br> |
||
+ | so very quickly</blockquote> |
||
+ | |||
+ | <blockquote>less time debugging<br> |
||
+ | more time downloading your brain<br> |
||
+ | to the type system</blockquote> |
||
+ | |||
+ | <blockquote>type checker: "You fool! <br> |
||
+ | What you request makes no sense - <br> |
||
+ | rethink your bad code."</blockquote> |
Revision as of 23:04, 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.
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."