Difference between revisions of "Haiku"
(→From haskell-cafe: +neil davies) |
(→Haskell haikus: import TMR haikus, and linkify the bunch) |
||
Line 1: | Line 1: | ||
==Haskell 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"]: |
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> |
+ | <blockquote>[[Haskell]] is concise<br> |
Functional well-typed and neat<br> |
Functional well-typed and neat<br> |
||
It is like Haiku</blockquote> |
It is like Haiku</blockquote> |
||
Line 16: | Line 16: | ||
Monad axioms:<br/> |
Monad axioms:<br/> |
||
Kleisli composition forms<br/> |
Kleisli composition forms<br/> |
||
− | a category. |
+ | a [[category]]. |
</blockquote> |
</blockquote> |
||
Line 42: | Line 42: | ||
Today it is still working<br> |
Today it is still working<br> |
||
Haskell is like that!</blockquote> |
Haskell is like that!</blockquote> |
||
+ | |||
+ | === From [[The Monad.Reader]] === |
||
+ | See [http://haskell.org/sitewiki/images/5/5d/TMR-Issue9.pdf Issue 9] of ''The Monad.Reader''; these haikus by Wouter Swierstra all related to [[Summer of Code]] projects: |
||
+ | <blockquote>Abstracting [[Parsec]]<br> |
||
+ | over any input type.<br> |
||
+ | The world on a String.</blockquote> |
||
+ | |||
+ | <blockquote>Improving [[Hackage]].<br> |
||
+ | Daemons can build your package<br> |
||
+ | and [[Haddock]] your code.</blockquote> |
||
+ | |||
+ | <blockquote>[[Haskell IDE]],<br> |
||
+ | will it ever beat [[Emacs]]?<br> |
||
+ | Only time will tell.</blockquote> |
||
+ | |||
+ | <blockquote>To load code faster<br> |
||
+ | and save disk space, [[GHC]]<br> |
||
+ | must share libraries.</blockquote> |
||
+ | |||
+ | <blockquote>Binding to libcurl.<br> |
||
+ | Get your data from the web.<br> |
||
+ | Who needs Firefox?</blockquote> |
||
+ | |||
+ | <blockquote>A tracer that can't<br> |
||
+ | cope with [[Cabalized]] code is<br> |
||
+ | an old [[Hat]], indeed.</blockquote> |
||
[[Category:Humor]] |
[[Category:Humor]] |
Revision as of 17:08, 6 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
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."
From haskell-cafe
By Thomas Hartman:
You come for magic
silver bullets slaying bugs...
It is only code!
By Neil Davies:
Yesterday it worked.
Today it is still working
Haskell is like that!
From The Monad.Reader
See Issue 9 of The Monad.Reader; these haikus by Wouter Swierstra all related to Summer of Code projects:
Abstracting Parsec
over any input type.
The world on a String.
Improving Hackage.
Daemons can build your package
and Haddock your code.
will it ever beat Emacs?
Only time will tell.
To load code faster
and save disk space, GHC
must share libraries.
Binding to libcurl.
Get your data from the web.
Who needs Firefox?
A tracer that can't
cope with Cabalized code is
an old Hat, indeed.