[Haskell-cafe] Shooting your self in the foot with Haskell
dagit at codersbase.com
Wed Oct 1 18:38:08 EDT 2008
On Wed, Oct 1, 2008 at 3:27 PM, Simon Brenner <olsner at gmail.com> wrote:
> On 10/1/08, John Van Enk <vanenkj at gmail.com> 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.
> After trying to decipher the type errors from the compiler, your head
Or as GHC says:
My brain just exploded.
And of course it says that because:
I can't handle pattern bindings for existentially-quantified
Instead, use a case-expression, or do-notation, to unpack the
But, telling people that part takes the fun out of :)
> 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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe