[Haskell-cafe] synchronous channels in STM

roger peppe rogpeppe at gmail.com
Thu Oct 9 04:50:02 EDT 2008


On Thu, Oct 9, 2008 at 9:15 AM, Ryan Ingram <ryani.spam at gmail.com> wrote:
> I don't think what you want is possible if both sides are in STM.
> Other authors have posted solutions where one side or the other of the
> transaction is in I/O, but wholly inside STM it's not possible.

Thanks, that's what I thought, although I wasn't sure of it, being
new to both Haskell and STM.

Presumably this result means that it's not possible to implement
any bounded-buffer-type interface within (rather than on top of) STM.

Isn't that a rather serious restriction?

  cheers,
    rog.


More information about the Haskell-Cafe mailing list