G'day all. On Wed, Oct 1, 2008 at 3:42 PM, Jake McArthur wrote:

Couldn't match expected type 'Deer' against inferred type 'Foot'

No instance for (Target Foot) arising from use of `shoot' at SelfInflictedInjury.hs:1:0 Possible fix: add an instance declaration for (Target Foot) In the expression: shoot foot Cheers, Andrew Bromage

On Wed, Oct 1, 2008 at 3:27 PM, Simon Brenner wrote:

On 10/1/08, John Van Enk wrote:

...

There's the well known "How to shoot your self in the foot" list which I have it printed and taped on my desk at work.

http://www-users.cs.york.ac.uk/susan/joke/foot.htm

I had a co-worker ask me how you'd shoot your self in the foot with Haskell. Here's the best I could do:

"You shoot the gun, but the bullet gets trapped in the IO monad."

While compiling your program the compiler produces a type error long enough to overflow a kernel buffer, overwrite the trigger control register and shoot you in the foot.

or

After trying to decipher the type errors from the compiler, your head explodes.

Or as GHC says: My brain just exploded. And of course it says that because: I can't handle pattern bindings for existentially-quantified constructors. Instead, use a case-expression, or do-notation, to unpack the constructor. But, telling people that part takes the fun out of :)

or

After you've finally found a way to circumvent the type system and shoot yourself in the foot, Oleg appears out of nothing and shoots you in the foot for coming up with it before him.

Heh. Nice. Oleg has earned himself the Haskell equivalent of a Chuck Norris reputation. Except that Oleg has really earned the respect he gets from our teasing. BTW, is there an Oleg Facts website? Jason

On 2008.10.01 15:38:08 -0700, Jason Dagit scribbled 4.3K characters:

Heh. Nice. Oleg has earned himself the Haskell equivalent of a Chuck Norris reputation. Except that Oleg has really earned the respect he gets from our teasing. BTW, is there an Oleg Facts website?

Jason

Lambdabot has/had a number of OlegFacts in its quote database. @quote as usual, or if you want to look at the whole list of quotes, gunzip State/quote. -- gwern Trade UXO Consul Golf genetic import JOTS DCSS Flame lead

On Wed, Oct 1, 2008 at 3:39 PM, Bill wrote:

On Wed, 2008-10-01 at 16:46 -0400, John Van Enk wrote: . . .

...

I fully realize how un-clever this is. Some one please give me something more worth of the original list. :)

You shoot the gun but nothing happens (Haskell is pure, after all).

Your foot is fine, until you try to walk on it, at which point it becomes mangled.

On Thu, Oct 2, 2008 at 00:39, Bill wrote:

On Wed, 2008-10-01 at 16:46 -0400, John Van Enk wrote: . . .

...

I fully realize how un-clever this is. Some one please give me something more worth of the original list. :)

You shoot the gun but nothing happens (Haskell is pure, after all).

Realizing that I pressed "reply" instead of "reply to all" yesterday, here's my message again (sorry Bill). A little refinement: You shoot in the direction of your foot, but since you are inside the STM monad you can just retry until you figure out what to do. Alternatively: You shoot yorself in the foot, but you are perfectly fine as long you just don't evaluate the foot. Same, but more subtle: You shoot yourself in the foot, but nothing happens unless you start walking. cheers, Arnar

Arnar Birgisson wrote:

So it is a Heisenberg-bullet?

I'm uncertain. -- Joe Buehler

http://haskell.org/haskellwiki/Shooting_your_self_in_the_foot This needs to be cleaned up a little (lots of dups, though they are all great). On Sun, Oct 5, 2008 at 11:21 PM, John Van Enk wrote:

I'll see about putting them there. :)

On Sun, Oct 5, 2008 at 6:22 PM, Simon Richard Clarkstone < simon.clarkstone@gmail.com> wrote:

...

BTW, these could go on the wiki.

-- /jve

-- /jve

On Sat, Oct 11, 2008 at 8:32 PM, Simon Richard Clarkstone wrote:

(Darnit Thunderbird, why don't you DWIM when I hit reply or reply-all?)

You're not writing about Perl, you're writing about Haskell! It should have been a type error. Luke