This page is no longer maintained — Please continue to the home page at www.scala-lang.org

monadic delimited continuations

5 replies
Sat, 2011-04-16, 10:07
Luc Duponcheel
Joined: 2008-12-19,
User offline. Last seen 34 weeks 3 days ago.
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination

Top
Sat, 2011-04-16, 12:07
#1
marius
Joined: 2008-08-31,
User offline. Last seen 3 years 19 weeks ago.
Re: monadic delimited continuations
Very interesting work !

Thanks,
Marius

On Sat, Apr 16, 2011 at 12:07 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination


Top
Sat, 2011-04-16, 13:27
#2
Luc Duponcheel
Joined: 2008-12-19,
User offline. Last seen 34 weeks 3 days ago.
Re: monadic delimited continuations
... well, actually, most credits go to Greg who
showed me his code: I just "tuned" it a bit ...

On Sat, Apr 16, 2011 at 12:58 PM, Marius Danciu <marius.danciu@gmail.com> wrote:
Very interesting work !

Thanks,
Marius

On Sat, Apr 16, 2011 at 12:07 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination

Top
Sat, 2011-04-16, 16:07
#3
marius
Joined: 2008-08-31,
User offline. Last seen 3 years 19 weeks ago.
Re: monadic delimited continuations
Yeah Greg mentioned to me that you're working on monadic delimited continuations ;)

Thanks,
Marius

On Sat, Apr 16, 2011 at 3:25 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
... well, actually, most credits go to Greg who
showed me his code: I just "tuned" it a bit ...

On Sat, Apr 16, 2011 at 12:58 PM, Marius Danciu <marius.danciu@gmail.com> wrote:
Very interesting work !

Thanks,
Marius

On Sat, Apr 16, 2011 at 12:07 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination


Top
Sat, 2011-04-16, 23:17
#4
Meredith Gregory
Joined: 2008-12-17,
User offline. Last seen 42 years 45 weeks ago.
Re: monadic delimited continuations
Dear Luc, Marius and Scalarazzi-at-large,
All i did was transliterate Oleg Kiselyov's implementation of the Dybvig, Peyton-Jones, Sabry presentation. Luc took it considerably further.
Best wishes,
--greg

On Sat, Apr 16, 2011 at 8:02 AM, Marius Danciu <marius.danciu@gmail.com> wrote:
Yeah Greg mentioned to me that you're working on monadic delimited continuations ;)

Thanks,
Marius

On Sat, Apr 16, 2011 at 3:25 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
... well, actually, most credits go to Greg who
showed me his code: I just "tuned" it a bit ...

On Sat, Apr 16, 2011 at 12:58 PM, Marius Danciu <marius.danciu@gmail.com> wrote:
Very interesting work !

Thanks,
Marius

On Sat, Apr 16, 2011 at 12:07 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
L.G. Meredith
Managing Partner
Biosimilarity LLC
7329 39th Ave SWSeattle, WA 98136

+1 206.650.3740

http://biosimilarity.blogspot.com
Top
Sat, 2011-04-16, 23:27
#5
Meredith Gregory
Joined: 2008-12-17,
User offline. Last seen 42 years 45 weeks ago.
Re: monadic delimited continuations
P.S. i've also done a transliteration of the LogicT monad transformer. You can find the code here. Treatments of both of this and the monadic presentation of multiprompt delimited continuations feature in the Monadic Design Pattern for the Web.

On Sat, Apr 16, 2011 at 3:08 PM, Meredith Gregory <lgreg.meredith@gmail.com> wrote:
Dear Luc, Marius and Scalarazzi-at-large,
All i did was transliterate Oleg Kiselyov's implementation of the Dybvig, Peyton-Jones, Sabry presentation. Luc took it considerably further.
Best wishes,
--greg

On Sat, Apr 16, 2011 at 8:02 AM, Marius Danciu <marius.danciu@gmail.com> wrote:
Yeah Greg mentioned to me that you're working on monadic delimited continuations ;)

Thanks,
Marius

On Sat, Apr 16, 2011 at 3:25 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
... well, actually, most credits go to Greg who
showed me his code: I just "tuned" it a bit ...

On Sat, Apr 16, 2011 at 12:58 PM, Marius Danciu <marius.danciu@gmail.com> wrote:
Very interesting work !

Thanks,
Marius

On Sat, Apr 16, 2011 at 12:07 PM, Luc Duponcheel <luc.duponcheel@gmail.com> wrote:
Hello all,

I wrote some blog post on monadic delimited continuations
http://imaginej.blogspot.com/

I tested some of the "standard" examples to see if my
reset/shift implementation survived them (it did)

All suggestions for other "typical examples" to test are welcome

thx

Luc

--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
   __~O
  -\ <,
(*)/ (*)

reality goes far beyond imagination





--
L.G. Meredith
Managing Partner
Biosimilarity LLC
7329 39th Ave SWSeattle, WA 98136

+1 206.650.3740

http://biosimilarity.blogspot.com



--
L.G. Meredith
Managing Partner
Biosimilarity LLC
7329 39th Ave SWSeattle, WA 98136

+1 206.650.3740

http://biosimilarity.blogspot.com
Top

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland