[Haskell-cafe] Haskell w/ delimited continuations

Ryan Ingram ryani.spam at gmail.com
Fri Feb 22 16:15:48 EST 2008


You might want to take a look at
http://www.haskell.org/pipermail/haskell/2007-December/020034.html

which shows an implementation of delimited continuations in Haskell98
and possibly gets rid of any requirement of implementing primitives.

  -- ryan

On 2/22/08, Taral <taralx at gmail.com> wrote:
> My understanding of these things is limited, but what would stop me,
> theoretically speaking, of making a version of ghc with these
> primitives added:
>
> type Prompt r
>
> reset :: (Prompt r -> r) -> r
> shift :: Prompt r -> ((a -> _) -> r) -> a
>
> (Where _ is either r or forall b. b)
>
> --
> Taral <taralx at gmail.com>
> "Please let me know if there's any further trouble I can give you."
>    -- Unknown
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>


More information about the Haskell-Cafe mailing list