[lnkForumImage]
TotalShareware - Download Free Software
Confronta i prezzi di migliaia di prodotti.
Asp Forum
 Home | Login | Register | Search 


 

Forums >

comp.lang.ruby

nice explanation of call/cc

Martin DeMello

2/12/2007 8:31:00 AM

From http://sigfpe.blogspot.com/2007/02/exceptions-disjunction...:

In functional languages exceptions tend to be handled a little
differently. Whereas C++ has a throw keyword, there is no equivalent
in Scheme, say. Instead
the call-with-current-continuation function acts like catch. The
argument to call-with-current-continuation is a function (lambda
(throw) ...) and the argument to this function (itself a function),
here called throw, does the throwing. For example consider the scheme
expression:


(call-with-current-continuation
(lambda (throw) (+ 1 (throw 7))))

[ a = callcc {|c| c[7] + 1} in ruby - martin ]

The result is 7, not 8. The 7 is thrown 'past' the (+ 1 ...) and is
caught by the surrounding call-with-current-continuation. The
important difference from C++ is that if any subexpression is to throw
some value, it must be 'handed' a suitable throw function.
3 Answers

Pit Capitain

2/12/2007 4:11:00 PM

0

Martin DeMello schrieb:
>> From http://sigfpe.blogspot.com/2007/02/exceptions-disjunction...:

Martin, thanks for the link. Its nice that we (still) can easily
implement both versions of the code in Ruby, using catch/throw and
continuations.

Regards,
Pit

Giles Bowkett

2/13/2007 4:19:00 PM

0

I picked up a book on Scheme and seeing call/cc there very much
surprised me. I had seen it Ruby before, I guess it came directly from
Scheme. Anyway there's a neat chapter in that book on
continuation-passing style, which was much different than I expected
it to be. Unfortunately I just relocated and the book's packed in a
box, but the basic idea revolved around that aspect of call/cc. It
didn't actually seem that different from the sequences of methods with
dots style that allows you to feed the output of one method into the
next method, but the syntax was very different (and probably there
were some significant differences to the internals as well).

On 2/12/07, Pit Capitain <pit@capitain.de> wrote:
> Martin DeMello schrieb:
> >> From http://sigfpe.blogspot.com/2007/02/exceptions-disjunction...:
>
> Martin, thanks for the link. Its nice that we (still) can easily
> implement both versions of the code in Ruby, using catch/throw and
> continuations.
>
> Regards,
> Pit
>
>


--
Giles Bowkett
http://www.gilesg...
http://gilesbowkett.bl...
http://gilesgoatboy.bl...

Martin DeMello

2/13/2007 4:28:00 PM

0

Continuation passing style is actually most used as a compilation
stage in several functional languages - the program is first
transformed to cps and that is then used to generate executable code.
I don't think I've seen any language encourage it as an actual coding
style. I agree, it's a very interesting approach, and well worth
reading up on.

martin

On 2/13/07, Giles Bowkett <gilesb@gmail.com> wrote:
> I picked up a book on Scheme and seeing call/cc there very much
> surprised me. I had seen it Ruby before, I guess it came directly from
> Scheme. Anyway there's a neat chapter in that book on
> continuation-passing style, which was much different than I expected
> it to be. Unfortunately I just relocated and the book's packed in a
> box, but the basic idea revolved around that aspect of call/cc. It
> didn't actually seem that different from the sequences of methods with
> dots style that allows you to feed the output of one method into the
> next method, but the syntax was very different (and probably there
> were some significant differences to the internals as well).
>
> On 2/12/07, Pit Capitain <pit@capitain.de> wrote:
> > Martin DeMello schrieb:
> > >> From http://sigfpe.blogspot.com/2007/02/exceptions-disjunction...:
> >
> > Martin, thanks for the link. Its nice that we (still) can easily
> > implement both versions of the code in Ruby, using catch/throw and
> > continuations.
> >
> > Regards,
> > Pit
> >
> >
>
>
> --
> Giles Bowkett
> http://www.gilesg...
> http://gilesbowkett.bl...
> http://gilesgoatboy.bl...
>
>