[Haskell-cafe] Haskell w/ delimited continuations

Taral taralx at gmail.com
Fri Feb 22 15:46:30 EST 2008


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


More information about the Haskell-Cafe mailing list