Re: [Haskell-cafe] Existential problem

2005-03-31 Thread Daniel Fischer
Am Donnerstag, 31. März 2005 15:30 schrieb Pierre Barbier de Reuille: > Just to be able to understand this small thread, does someone have any > pointer explaining (with examples ?) what exactly is this "forall" > extension to haskell ? > > Thanks, The GHC user's guide, section 7.4 says something

Re: [Haskell-cafe] New user, pardon what may be a dumb question

2005-03-31 Thread Lemmih
On Mar 31, 2005 7:56 PM, Mark Goldman <[EMAIL PROTECTED]> wrote: > I am using ghci to learn Haskell. My question is it possible to > assign an object that contains state (for lack of knowing the proper > terminology) so a variable or some such from the interactive prompt. > > More concretely I wo

[Haskell-cafe] New user, pardon what may be a dumb question

2005-03-31 Thread Mark Goldman
I am using ghci to learn Haskell. My question is it possible to assign an object that contains state (for lack of knowing the proper terminology) so a variable or some such from the interactive prompt. More concretely I would like to do something like this non-working code snippet: System.Random

Re: [Haskell-cafe] A few questions on using Cabal

2005-03-31 Thread Isaac Jones
Niklas Broberg <[EMAIL PROTECTED]> writes: > I've just started experimenting with the new Cabal system, and I must > say it's really sweet. Thanks a lot to all involved! Yay! > After trying it on some simple tasks I have collected a few questions: > > * What about 'setup uninstall'? Surely there

Re: [Haskell-cafe] Existential problem

2005-03-31 Thread Pierre Barbier de Reuille
Just to be able to understand this small thread, does someone have any pointer explaining (with examples ?) what exactly is this "forall" extension to haskell ? Thanks, -- Pierre Barbier de Reuille INRA - UMR Cirad/Inra/Cnrs/Univ.MontpellierII AMAP Botanique et Bio-informatique de l'Architecture

Re: [Haskell-cafe] Existential problem

2005-03-31 Thread Niklas Broberg
> > -- Explicitly recursive continuation type > > data C t a = forall t2 . C (C t2 a -> IO t a) > > If you write > > data C t a = C (forall t2 . C t2 a -> IO' t a), > > it will compile (versions 6.2.2, 6.4). Whether that'll do exactly what you > want, I don't know :-( Actually, I think it does.

[Haskell-cafe] A few questions on using Cabal

2005-03-31 Thread Niklas Broberg
I've just started experimenting with the new Cabal system, and I must say it's really sweet. Thanks a lot to all involved! After trying it on some simple tasks I have collected a few questions: * What about 'setup uninstall'? Surely there should be an automatic way of uninstalling packages and ex