On 8/4/05, Simon Marlow <[EMAIL PROTECTED]> wrote:
> * Support for Microsoft DevHelp and HtmlHelp 2.0 formats.
Just to clarify. DevHelp is developed from GNOME and is available only
for Linux. HtmlHelp is Microsoft specific format.
___
Haskell mailing
Remi Turk wrote:
In a final attempt to convince someone of I'm not exactly sure
what, I attached a simple implementation of the ST monad in terms
of unsafePerformIO + IORef + IOArray.
OK, but you have to reason about this implementation to show that
it is safe (which may be difficult because u
Sebastian Sylvan wrote:
On 8/4/05, Till Mossakowski <[EMAIL PROTECTED]> wrote:
Remi Turk wrote:
MonadState needs multi-parameter type classes, State and StateT
don't. And ST needs rank-2 types (or at least one rank-2
constant) and, to be implemented _efficiently_, also needs
something like unsa
On Thu, Aug 04, 2005 at 10:40:01PM +0200, Till Mossakowski wrote:
> Remi Turk wrote:
> >MonadState needs multi-parameter type classes, State and StateT
> >don't. And ST needs rank-2 types (or at least one rank-2
> >constant) and, to be implemented _efficiently_, also needs
> >something like unsafeP
OK thanks for the example. That makes sense. The state is being used locally
and not exported, which if you were using the IO monad you would be forced
to do
cheers
-s
"Iavor Diatchki" <[EMAIL PROTECTED]> wrote in message
news:[EMAIL PROTECTED]
Hello,
On 8/3/05, Srinivas Nedunuri <[EMAIL PROTE
On 8/4/05, Till Mossakowski <[EMAIL PROTECTED]> wrote:
> Remi Turk wrote:
> > MonadState needs multi-parameter type classes, State and StateT
> > don't. And ST needs rank-2 types (or at least one rank-2
> > constant) and, to be implemented _efficiently_, also needs
> > something like unsafePerformI
Remi Turk wrote:
MonadState needs multi-parameter type classes, State and StateT
don't. And ST needs rank-2 types (or at least one rank-2
constant) and, to be implemented _efficiently_, also needs
something like unsafePerformIO (or even lower-level unsafe
mutable state primitives).
I think one
On Thu, Aug 04, 2005 at 10:09:06AM +0100, Axel Simon wrote:
> On Thu, 2005-08-04 at 10:58 +0200, Wolfgang Jeltsch wrote:
> > Am Donnerstag, 4. August 2005 10:21 schrieb Axel Simon:
> > > [...]
> >
> > > Nowadays, you can use one of the MonadState monad
> >
> > State transformer monads like State
Haddock 0.7 is released, get it from here:
http://www.haskell.org/haddock/
Haddock is a tool for generating documentation for Haskell libraries.
This new version has already been in use for some time generating the
documentation for GHC's libraries:
http://www.haskell.org/ghc/docs/latest/htm
Am Donnerstag, 4. August 2005 11:09 schrieben Sie:
> On Thu, 2005-08-04 at 10:58 +0200, Wolfgang Jeltsch wrote:
> > Am Donnerstag, 4. August 2005 10:21 schrieb Axel Simon:
> > > [...]
> > >
> > > Nowadays, you can use one of the MonadState monad
> >
> > State transformer monads like State and State
Dear colleagues,
just a reminder that the registration deadline for IFL'05 is fast
approaching (7th Aug.)
- see https://www.cs.tcd.ie/ifl05/registration.php for details
= Call for Papers/Participation =
Announcement and Call for Papers for the 17th International Workshop
on the Implementa
Dear colleagues,
just a reminder that the registration deadline for IFL'05 (Aug 7th)
is fast approaching
- see https://www.cs.tcd.ie/ifl05/registration.php for details
= Call for Papers/Participation =
Announcement and Call for Papers for the 17th International Workshop
on the Implementa
On Thu, 04 Aug 2005 10:09:06 +0100
Axel Simon <[EMAIL PROTECTED]> wrote:
> Ok, granted. In particular I take your point about array accesses.
> However, I am not quite convinced that using ST has any advantages over
> using IO directly. Of course, one could claim that programmers wants to
> protec
On Thu, 2005-08-04 at 10:58 +0200, Wolfgang Jeltsch wrote:
> Am Donnerstag, 4. August 2005 10:21 schrieb Axel Simon:
> > [...]
>
> > Nowadays, you can use one of the MonadState monad
>
> State transformer monads like State and StateT can be implemented without
> using special language features.
Am Donnerstag, 4. August 2005 10:21 schrieb Axel Simon:
> [...]
> Nowadays, you can use one of the MonadState monad
State transformer monads like State and StateT can be implemented without
using special language features. So there was always the opportunity to
implement something like State o
Am Mittwoch, 3. August 2005 19:07 schrieb Srinivas Nedunuri:
> [...]
> I have a bunch of ST code, and then somewhere in there I had the misfortune
> of needing to insert a file copy and bam I'm now stuck with the dang IO
> monad which goes and "infects" the entire program.
You can use something l
On Wed, 2005-08-03 at 12:07 -0500, Srinivas Nedunuri wrote:
> > > I was wondering what advice folks had. In particular, what are the
> > > disadvantages to doing everything in the IO monad - ie why even bother
> > > with the ST monad?
> >
> > The most obvious disadvantage is that the IO monad has
17 matches
Mail list logo
