[Haskell-cafe] Re: Different choice operations in a continuation
sebf at informatik.uni-kiel.de
Wed Jun 16 09:11:16 EDT 2010
Heinrich Apfelmus wrote:
> Sebastian Fischer wrote:
>> I still don't understand why it is impossible to provide `orElse`
>> the original type. I will think more about the reason you gave.
> The reason is that you have chosen the "wrong" type for your
> continuation monad; it should be
> newtype CMaybe a = CMaybe (forall r. (a -> Maybe r) -> Maybe r)
Yes, with this type `orElse` has the same type as `mplus`, which is
> Personally, I recommend to stop thinking about continuations
> and instead use the approach I've outlined in "The Operational Monad
I appreciate your operational monad tutorial both for the idea and how
you explained it. But the advice "stop thinking about X because Y is
better" feels odd to me. Before I know by myself that Y is better than
X (which requires thinking about both X and Y) I don't feel
comfortable following such advice. Afterwards, I don't need such
There may be more to X than just Y. IIRC, there is more to
'continuations' than 'monads'. For example, the implementation of
`callCC` does not type check with your changed data type.
I shall try to implement a monad that supports two choice operations
(one which fulfills the distributive law and one which satisfies the
cancellation property) with the operational package.
Underestimating the novelty of the future is a time-honored tradition.
More information about the Haskell-Cafe