I notice that the strict ST monad has an instance for PrimMonad but the lazy ST monad does not. Is there a reason why, or is merely an oversight? (What I Am Really Trying To Do: get a purely lazy stream of random values out of mwc-random.) --ken
I would hesitantly say that PrimMonad's types are all unboxed and this
means that any instance of it is inherently strict. Lazy state monad relies
on the laziness of the tuple it uses to hold the state, for example.
On 9 April 2015 at 04:49, Ken Takusagawa II
I notice that the strict ST monad has an instance for PrimMonad but the lazy ST monad does not. Is there a reason why, or is merely an oversight?
(What I Am Really Trying To Do: get a purely lazy stream of random values out of mwc-random.)
--ken
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
seems like an oversight, i've opened a ticket to add it On Wed, Apr 8, 2015 at 10:49 PM, Ken Takusagawa II < ken.takusagawa.2@gmail.com> wrote:
I notice that the strict ST monad has an instance for PrimMonad but the lazy ST monad does not. Is there a reason why, or is merely an oversight?
(What I Am Really Trying To Do: get a purely lazy stream of random values out of mwc-random.)
--ken
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
participants (3)
-
Carter Schonwald -
Christopher Done -
Ken Takusagawa II