On Fri, 2008-02-22 at 14:27 -0800, Taral wrote: > On 2/22/08, Taral <[EMAIL PROTECTED]> wrote: > > reset :: (Prompt r -> r) -> r > > shift :: Prompt r -> ((a -> _) -> r) -> a > > The point of the question is about shift/reset with *these types*. I > know there are implementations with other types.
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. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
