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

[Derek Elkins]

On Fri, 2008-02-22 at 15:13 -0800, Taral wrote:
> On 2/22/08, Derek Elkins <derek.a.elkins at gmail.com> wrote:
> > 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.
> 
> Can you give an example of an impure function created using these primitives?

shift and reset

but see these slides
http://cs.ioc.ee/mpc-amast06/msfp/filinski-slides.pdf
and/or one or both of 
http://citeseer.ist.psu.edu/filinski94representing.html
http://citeseer.ist.psu.edu/filinski99representing.html