[Haskell-cafe] free vs. operational vs. free-operational

Oliver Charles ollie at ocharles.org.uk
Thu Nov 28 15:15:08 UTC 2013

On 11/28/2013 10:30 AM, oleg at okmij.org wrote:
> Most of the new development is writing more examples and more and
> better explanations. Recently, for example, I added committed choice
> (in Prolog terms, soft-cut) to the Choice effect. I was surprised how
> easy it was and how nothing had to be changed. I merely added a new
> handler. So, we get another implementation of LogicT, this time in
> terms of extensible effects.

This sounds very interesting - is this work available for us to look at

- ocharles

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131128/c9f58658/attachment.sig>

More information about the Haskell-Cafe mailing list