Re: [Haskell-cafe] don't: a 'do' for comonads?

[Donald Bruce Stewart]

hjgtuyl:
> 
> don't :: whatever ->
> 
> (whatever goes in, nothing comes out)

So its:

don't :: a -> Void 

?

-- Don
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] don't: a 'do' for comonads?

[Marc A. Ziegert]

don't :: a
don't = error "D'oh!"

- marc



Am Donnerstag, 9. November 2006 04:47 schrieb Donald Bruce Stewart:
> As seen on #haskell, from an idea by Malcolm,
> 
> 14:42  ?let top'n'tail = (""++) . (++"") 
> 14:42  lambdabot> Defined.
> 14:43  dons> > L.top'n'tail "foo me now"
> 14:43  lambdabot>  "foo me now"
> 14:43  mauke> that reminds me, haskell needs don't
> 14:43  dons> yes!
> 14:44  pkhuong-> mm. the opposite of do, eh? do for comonads? :)
> 
> So now a prize to the person who comes up with the best use for the
> identifier:
> 
> don't :: ?
> 
> -- Don
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 
> 
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] don't: a 'do' for comonads?

[Donald Bruce Stewart]

As seen on #haskell, from an idea by Malcolm,

14:42  ?let top'n'tail = (""++) . (++"") 
14:42  lambdabot> Defined.
14:43  dons> > L.top'n'tail "foo me now"
14:43  lambdabot>  "foo me now"
14:43  mauke> that reminds me, haskell needs don't
14:43  dons> yes!
14:44  pkhuong-> mm. the opposite of do, eh? do for comonads? :)

So now a prize to the person who comes up with the best use for the
identifier:

don't :: ?

-- Don
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe