David Menendez writes:
> It's also possible to write ST in terms of State.
>
> Assume we have a Store ADT with this interface:
>
> data Store r
> data STRef r a
> withStore :: (forall r. Store r -> a) -> a
> newRef:: a -> Store r -> (STRef r a, Store r)
> readRef :: ST
Federico Squartini writes:
> Hello dear Haskellers,
>
> Could someone be kind and explain with some detail what are the
> differences between the two monads:
>
> Control.Monad.ST
> And
> Control.Monad.State
> ?
>
> They are both meant to model stateful computation but they are not the
> same mo
The xmonad dev team is pleased to announce the 0.2 release of:
xmonad: a tiling window manager
http://xmonad.org
About:
Xmonad is a tiling window manager for X. Windows are arranged
automatically to tile the screen without gaps or overlap, maximisin
mfn-haskell:
> Dear Haskellers,
>
> You may be interested in the Reduceron:
>
> http://www-users.cs.york.ac.uk/~mfn/reduceron/index.html
>
> Here is a flavour:
>
> "The Reduceron is a processor for executing Haskell programs on FPGA
> with the aim of exploring how custom architectural feature
On behalf of the many, many contributors, I am pleased to announce
that the
Haskell Communities and Activities Report
(12th edition, May 2007)
http://www.haskell.org/communities/
is now available from the Haskell Communities home page in sev
Dear Haskellers,
You may be interested in the Reduceron:
http://www-users.cs.york.ac.uk/~mfn/reduceron/index.html
Here is a flavour:
"The Reduceron is a processor for executing Haskell programs on FPGA
with the aim of exploring how custom architectural features can
improve the speed in which
On May 30, 2007, at 5:59 , Federico Squartini wrote:
I suppose there is something "under the hood" which makes them
different, but I cannot figure out what.
For one thing, ST uses existential types to prevent values from
leaking outside the monad.
--
brandon s. allbery [solaris,freebsd,pe
Hi Frederico,
I had the exact same problem when I first started with Haskell.
Quite simply, State uses get/put to handle passing state, whereas ST
uses STRefs and STArrays.
In State s a, the s has meaning, for example it could be a random
number generator or key-value mapping you want to pass a
But they are very similar! At least superficially.
They are both based on the notion of state transformer. Moreover in
the original paper about the ST monad:
http://www.dcs.gla.ac.uk/fp/papers/lazy-functional-state-threads.ps.Z
The authors say:
"In this paper we describe a way to express statef
federico.squartini:
> Hello dear Haskellers,
>
> Could someone be kind and explain with some detail what are the
> differences between the two monads:
>
> Control.Monad.ST
> And
> Control.Monad.State
> ?
>
> They are both meant to model stateful computation but they are not the
> same monad. The
Hello dear Haskellers,
Could someone be kind and explain with some detail what are the
differences between the two monads:
Control.Monad.ST
And
Control.Monad.State
?
They are both meant to model stateful computation but they are not the
same monad. The first one represents state with in place u
11 matches
Mail list logo