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

On Fri, 2008-02-22 at 15:13 -0800, Taral wrote:

On 2/22/08, Derek Elkins 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