[Haskell-cafe] Re: Haskell w/ delimited continuations
ccshan at post.harvard.edu
Sat Feb 23 17:50:52 EST 2008
Taral <taralx at gmail.com> wrote in article <fa0147d90802231136t5d8d5f7dse799e55ee3ef6661 at mail.gmail.com> in gmane.comp.lang.haskell.cafe:
> On Sat, Feb 23, 2008 at 1:05 AM, <oleg at okmij.org> wrote:
> > reset ((\x -> x + x) (shift f f))
> This one doesn't typecheck, since you can't unify the types (a -> r) and r.
Some type systems for delimited continuations, such as Danvy and
Filinski's (http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz; DIKU TR
89/12), allows changing the answer type and admits this code.
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
God exists since mathematics is consistent, and the devil exists
since its consistency cannot be proved. -- Hermann Weyl.
More information about the Haskell-Cafe