tag:blogger.com,1999:blog-5722310642266356003.post7685703631263108745..comments2024-01-07T23:21:32.676+01:00Comments on The Axis of Eval: Continuation marksUnknownnoreply@blogger.comBlogger3125tag:blogger.com,1999:blog-5722310642266356003.post-45237002814655840882012-08-03T18:37:33.603+02:002012-08-03T18:37:33.603+02:00Well, if I understood correctly from Manuel's ...Well, if I understood correctly from Manuel's post, this should be definable in terms of Kernel keyed dynamic variables and vice versa. Only a little care is needed in implementing this in Kernel, to avoid creating long chains of continuations with single marks when a single continuation with all the marks would do (not unlike the trick needed for type checking the result of the last operand to $and?).<br /><br />Going the other way, Kernel dynamic variables could be easily implemented with this, using the last mark only (I am not sure what type the key parameter has, but there's probably a way to make new unique ones).<br /><br />I still have to read the dissertation, so I may be off. Anyway, it seems pretty interesting.Andres Navarrohttps://www.blogger.com/profile/01817034185792672764noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-53801536004013442182012-08-01T18:31:20.424+02:002012-08-01T18:31:20.424+02:00How do continuation marks compare to Kernel's ...How do continuation marks compare to Kernel's keyed dynamic variables?John Shutthttps://www.blogger.com/profile/00041398073010099077noreply@blogger.comtag:blogger.com,1999:blog-5722310642266356003.post-54977235270591820612012-08-01T16:28:12.373+02:002012-08-01T16:28:12.373+02:00Very interesting.
Here is a paper describing a me...Very interesting.<br /><br />Here is a paper describing a mechanism that uses continuation marks to implement RESTful continuation based web applications.<br /><br />http://faculty.cs.byu.edu/~jay/static/icfp065-mccarthy.pdf<br /><br />It may be cool to try something like that in the Kernel language.Mariano Montonehttps://www.blogger.com/profile/07594239030046531642noreply@blogger.com