Re: Shooting your self in the foot with Haskell

John Van Enk wrote:
> "You shoot the gun, but the bullet gets trapped in the IO monad."

The community points you at the paper "Bang-bang-patterns: expressing 
lethal weaponry in the Haskell typesystem".  Your head explodes.

BTW, these could go on the wiki.

--

-- 
src/
-XIncomprehensibleTypes  Equivalent to all of:
     -fallow-inconvinient-types, -XOmnipotentInstances, -XFunkyFunctors,
     -XSuperTuringTypes, -XErraticTypeClasses, -XCoAntiRetroHyperArrows
John Van Enk | 6 Oct 05:21

Re: Shooting your self in the foot with Haskell

I'll see about putting them there. :)

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

BTW, these could go on the wiki.



--
/jve
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
John Van Enk | 6 Oct 05:38

Re: Shooting your self in the foot with Haskell

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 <vanenkj <at> gmail.com> wrote:
I'll see about putting them there. :)


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

BTW, these could go on the wiki.



--
/jve



--
/jve
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: Shooting your self in the foot with Haskell

John Van Enk wrote:
> On Sun, Oct 5, 2008 at 11:21 PM, John Van Enk <vanenkj <at> gmail.com 
> <mailto:vanenkj <at> gmail.com>> wrote:
> 
>> On Sun, Oct 5, 2008 at 6:22 PM, Simon Richard Clarkstone
>> <simon.clarkstone <at> gmail.com <mailto:simon.clarkstone <at> gmail.com>> wrote:
>>> BTW, these could go on the wiki.
>> I'll see about putting them there. :)
>
> 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).

You missed my one, though I think the "ballistics algebra" one is better.

ISTR that the point of the original list was originally to show that, 
though you can screw up with C, with every other language you can screw 
up in far more complicated and inscrutable ways.  Ballistics algebra is 
indeed a way to screw up that is not possible in C.

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

--

-- 
src/
Luke Palmer | 12 Oct 11:06

Re: Shooting your self in the foot with Haskell

On Sat, Oct 11, 2008 at 8:32 PM, Simon Richard Clarkstone
<simon.clarkstone <at> gmail.com> 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

Gmane