Re: Monadic Call/CC?

2002-02-23 Thread Marcin 'Qrczak' Kowalczyk
Thu, 21 Feb 2002 19:36:13 -0800, Ashley Yakeley <[EMAIL PROTECTED]> pisze: > data ContMonad p a = MkContMonad ((a -> p) -> p); [...] It's in GHC in module MonadCont, together with a monad transformer providing continuations and some instances. -- __("< Marcin Kowalczyk * [EMAIL PROTECTED

Re: Graphs

2002-02-23 Thread Jan-Willem Maessen
David Feuer <[EMAIL PROTECTED]> writes: > I seem to remember an article about functional graph algorithms using > extra-lazy arrays. Anyone know if these arrays have appeared in any > mainstream implementation? I assume you're referring to this paper by Thomas Johnsson: @Article{lazyArray, au

Re: Monadic Call/CC?

2002-02-23 Thread Ashley Yakeley
At 2002-02-23 07:55, Marcin 'Qrczak' Kowalczyk wrote: >It's in GHC in module MonadCont, together with a monad transformer >providing continuations and some instances. Could this sort of thing _please_ be added to or somewhere? Is this

Re: Graphs

2002-02-23 Thread David Feuer
On Sat, Feb 23, 2002, Jan-Willem Maessen wrote: > David Feuer <[EMAIL PROTECTED]> writes: > > I seem to remember an article about functional graph algorithms using > > extra-lazy arrays. Anyone know if these arrays have appeared in any > > mainstream implementation? > > I assume you're referring