[Haskell-cafe] Re: ANN: forkable-monad 0.1

[Heinrich Apfelmus]

David Anderson wrote:
> So, it seems that I am reinventing wheels that others have generalized
> better :-). That's fine, it's the expected result of launching and
> iterating, especially given my current command of Haskell. So I should
> now focus on reducing the reinvention.

No worries, this MonadMorphIO thing is very recent, I just wanted to
mention that it's applicable here as well. :)

> Most of the discussion that followed the message that you linked is
> currently beyond my understanding of category theory. However, I
> should probably go and talk to the maintainer of MonadCatchIO-* about
> extracting something like MonadMorphIO into a package, and making both
> their exception handling modules and this forking module reuse it.

Sounds good; although I do think that the problem of making monads
modular does not yet have a completely satisfactory answer, even with
MonadMorphIO. But that should not deter from experimentation. :)


Regards,
Heinrich Apfelmus

--
http://apfelmus.nfshost.com