[Haskell-cafe] free vs. operational vs. free-operational
ben.franksen at online.de
Fri Dec 6 01:39:01 UTC 2013
Ben Foppa wrote:
> Uploader and current maintainer of the extensible-effects package here.
> Although I'm still confused myself about the more theoretical bits of
> I think I might be able to shed some light on it from a user's and
> maintainer's perspective.
> extensible-effects is currently operational, and works quite well wherever
> I use it.
> That said, it's a new package and I'd expect some shifts before it settles
Let me first say that I like the general idea very much. I just read the
paper and it all looks extremely promising. And I greatly appreciate your
effort to put it on hackage and maintain it.
It is a good thing that the library is not yet settled, though, because I
think some of the names should be re-considered. For instance, why Eff and
not Effect? Or why type Exn but corresponding functions throwError and
(IMO such slips are okay for a paper, or a proof-of-concept implementation,
but not for a library that aspires to overthrow monad transformers.)
"Make it so they have to reboot after every typo." -- Scott Adams
More information about the Haskell-Cafe