[Haskell-cafe] Re: Haskell w/ delimited continuations

Derek Elkins derek.a.elkins at gmail.com
Fri Feb 22 16:45:02 EST 2008


On Fri, 2008-02-22 at 14:27 -0800, Taral wrote:
> On 2/22/08, Taral <taralx at gmail.com> wrote:
> >  reset :: (Prompt r -> r) -> r
> >  shift :: Prompt r -> ((a -> _) -> r) -> a
> 
> The point of the question is about shift/reset with *these types*. I
> know there are implementations with other types.


Nothing but sanity is stopping you.  If you make a new language, you can
do whatever you like.  However, with shift and reset you can represent
any effect, so you would utterly lose purity.



More information about the Haskell-Cafe mailing list