Difference between revisions of "Haiku"

Revision as of 14:19, 29 November 2012

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

Incarnation of

fmap abstract abstraction

Haskell semantics

GHC compiles

lambdas are being lifted

the wind is dying

By shapr:

the snow falls slowly

the lambdas are lifting -

weak head normal form.

By blackh:

Haskell programs are

viewed in terms of "data flow";

All state is transient.

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!

By Pekka Karjalainen:

Without a kigo

or requisite syllables,

haiku don't typecheck

By Niklas Broberg:

Trapped in a monad,

use unsafePerformIO!

Purity tainted...

By Heinrich Apfelmus:

  drop autumn leaves
  until . all . pure . color . Left
  fail . frost otherwise

By Richard O'Keefe [1][2]:

Soft rain falls

while Haskell infers

all my types.

In my room

Haskell humbles me;

Look, green leaves!

December buds swell.

Categories unlimit

Haskell I once knew.

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.

Haskell IDE,

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.

@@ Line 31: / Line 31: @@
 What you request makes no sense - <br>
 rethink your bad code."</blockquote>
+<blockquote>Incarnation of<br>
+fmap abstract abstraction<br>
+Haskell semantics</blockquote>
+<blockquote>GHC compiles<br>
+lambdas are being lifted<br>
+the wind is dying</blockquote>
 By shapr:
@@ Line 36: / Line 44: @@
 the lambdas are lifting -<br>
 weak head normal form.</blockquote>
+By blackh:
+<blockquote>Haskell programs are<br>
+viewed in terms of "data flow";<br>
+All state is transient.</blockquote>
 === From haskell-cafe ===
@@ Line 64: / Line 77: @@
   fail . frost otherwise</haskell>
-By [http://www.haskell.org/pipermail/haskell-cafe/2008-December/051605.html Richard O'Keefe]:
+By [http://www.haskell.org/pipermail/haskell-cafe/2008-December/051605.html Richard O'Keefe][http://www.haskell.org/pipermail/haskell-cafe/2008-December/051611.html][http://www.haskell.org/pipermail/haskell-cafe/2008-December/051848.html]:
 <blockquote>Soft rain falls<br>
 while Haskell infers<br>
 all my types.</blockquote>
+<blockquote>In my room<br>
+&nbsp;&nbsp; Haskell humbles me;<br>
+Look, green leaves!</blockquote>
+<blockquote>December buds swell.<br>
+Categories unlimit<br>
+Haskell I once knew.</blockquote>
 === From [[The Monad.Reader]] ===
@@ Line 79: / Line 100: @@
 and [[Haddock]] your code.</blockquote>
-<blockquote>[[Haskell IDE]],<br>
+<blockquote>[[IDEs|Haskell IDE]],<br>
 will it ever beat [[Emacs]]?<br>
 Only time will tell.</blockquote>