Databases
StackOverflow2013
Postsdbo
PO
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PO
    primarykey
    data
    text
    <p>See <a href="http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/">Programming Languages, Application and Interpretation</a>, starting around Chapter 15. Chapter 18 talks about how to do it automatically, but if you're not familiar with thinking about expressing a function that does "what to do next", you'll probably want to try the finger exercises first.</p> <p>Don't have someone do it for you: you'll really want to understand the process and be able to do it by hand, independent of Scheme or otherwise. It comes up especially in Asynchronous JavaScript web programming, where you really have no choice but to do the transform.</p> <hr> <p>In the CPS transform, all non-primitive functions need to now consume a function that represents "what-to-do-next". That includes all lambdas. Symmetrically, any application of a non-primitive function needs to provide a "what-to-do-next" function, and stuff the rest of the computation in that function.</p> <p>So if we had a program to compute a triangle's hypothenuse:</p> <pre><code>(define (hypo a b) (define (square x) (* x x)) (define (add x y) (+ x y)) (sqrt (add (square a) (square b)))) </code></pre> <p>and if we state that the only primitive applications here are <code>*</code>, <code>+</code>, and <code>sqrt</code>, then all the other function definitions and function calls need to be translated, like this:</p> <pre><code>(define (hypo/k a b k) (define (square/k x k) (k (* x x))) (define (add/k x y k) (k (+ x y))) (square/k a (lambda (a^2) (square/k b (lambda (b^2) (add/k a^2 b^2 (lambda (a^2+b^2) (k (sqrt a^2+b^2))))))))) ;; a small test of the function. (hypo/k 2 3 (lambda (result) (display result) (newline))) </code></pre> <p>The last expression shows that you end up having to compute "inside-out", and that the transformation is pervasive: all lambdas in the original source program end up needing to take an additional argument, and all non-primitive applications need to stuff "what-to-do-next" as that argument.</p> <p>Take a close look at section 17.2 of the cited book: it covers this, as well as 17.5, which talks about why you need to touch ALL the lambdas in the source program, so that the higher-order case works too.</p> <hr> <p>As another example of the transform, applied for a higher-order case, let's say that we have:</p> <pre><code>(define (twice f) (lambda (x) (f (f x)))) </code></pre> <p>Then the translation of something like this is:</p> <pre><code>(define (twice/k f k1) (k1 (lambda ...))) </code></pre> <p>... because that lambda's just a value that can be passed to <code>k1</code>. But of course, the translation needs to run through the lambda as well.</p> <p>We must first do the inner call to <code>f</code> with <code>x</code> (and remember that all non-primitive function applications need to pass an appropriate "what-to-do-next!"):</p> <pre><code>(define (twice/k f k1) (k1 (lambda (x k2) (f x (lambda (fx-val) ...))))) </code></pre> <p>... take that value and apply it again to f...</p> <pre><code>(define (twice/k f k1) (k1 (lambda (x k2) (f x (lambda (fx-val) (f fx-val ...)))))) </code></pre> <p>... and finally return that value to <code>k2</code>:</p> <pre><code>(define (twice/k f k1) (k1 (lambda (x k2) (f x (lambda (fx-val) (f fx-val k2)))))) ;; test. Essentially, ((twice square) 7) (define (square/k x k) (k (* x x))) (twice/k square/k (lambda (squaresquare) (squaresquare 7 (lambda (seven^4) (display seven^4) (newline))))) </code></pre>
    singulars
    1. This table or related slice is empty.
    1. POConvert to CPS (Continuation Passing Style)
      singulars
      1. PTQuestion
    1. PTAnswer
    1. USdyoo
    1. USdyoo
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. POConvert to CPS (Continuation Passing Style)
      singulars
      1. PTQuestion
    1. This table or related slice is empty.
    1. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    1. COI'm sorry, this is not helping me. Thank you anyway for trying.
      singulars
      1. PO
      1. USEran Egozi
    2. COWhat part are you having trouble with? Do you know how to transform a simple function, such as (lambda (x) (+ x 1)) to CPS style? It's very hard to help, with no mental model of where you're getting stuck. Have you gone through those chapters in the cited book, or do you not have time?
      singulars
      1. PO
      1. USdyoo
    3. COYes I have, and I know how to transform "simple" procedures like (lambda (x) (+ x 1)), but what if the 'x' is a procedure itself? like (lambda (x) (x 1))? I do need to transform every user defined procedure don't I?
      singulars
      1. PO
      1. USEran Egozi
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload