Programming Languages

Size: px

Start display at page:

Download "Programming Languages"

Ruby Jordan
6 years ago
Views:

1 Programming Languages Chapter 19 - Continuations Dr. Philip Cannata 1

2 Exceptions (define (f n) (let/cc esc (/ 1 (if (zero? n) (esc 1) n)))) > (f 0) 1 > (f 2) 1/2 > (f 1) 1 > Dr. Philip Cannata 2

3 Exceptions (define (f n) (let/cc esc (/ 1 (if (zero? n) (esc 1) n)))) When you invoke the continuation, it s as if the entire let/cc expression that binds esc should be cut out of the program and replaced with the value passed to esc, i.e., its as if the actual code for f is really this: (define (f n) 1) Dr. Philip Cannata 3

4 Escaping Procedures (define (f n) (+ n (let/cc k (- 5 (k 5))))) > (f 6) 11 > Dr. Philip Cannata 4

5 (define route-producer (local ([define resume (box false)]) (lambda (real-send) (local ([define send (lambda (value-to-send) (let/cc k (set-box! resume k) ((unbox resume) 'dummy) (send 'providence) (send 'houston) (send 'bangalore))))))) Producers and Consumers We ll see these (real-send value-to-send))))]) details in a few slides 'providence 'houston 'bangalore 'dummy Dr. Philip Cannata 5

6 Producers and Consumers Oracle sequence example CREATE TABLE EMP (EMPNO NUMBER(7) NOT NULL, CONSTRAINT emp_pkey PRIMARY KEY (empno), ENAME VARCHAR2(10), JOB VARCHAR2(9), MGR NUMBER(4), HIREDATE DATE, SAL NUMBER(7, 2), COMM NUMBER(7, 2), DEPTNO NUMBER(2)); drop sequence emp_empno; create sequence emp_empno start with 1 increment by 1 nomaxvalue; create or replace trigger emp_empno_trigger before insert on emp for each row begin select emp_empno.nextval into :new.empno from dual; end; INSERT INTO EMP VALUES (7369, 'SMITH', 'CLERK', 7902, TO_DATE('17-DEC-1980', 'DD-MON-YYYY'), 800, NULL, 20); INSERT INTO EMP VALUES (7499, 'ALLEN', 'SALESMAN', 7698, TO_DATE('20-FEB-1981', 'DD-MON-YYYY'), 1600, 300, 30); INSERT INTO EMP VALUES (7521, 'WARD', 'SALESMAN', 7698, TO_DATE('22-FEB-1981', 'DD-MON-YYYY'), 1250, 500, 30); INSERT INTO EMP VALUES (7566, 'JONES', 'MANAGER', 7839, TO_DATE('2-APR-1981', 'DD-MON-YYYY'), 2975, NULL, 20); INSERT INTO EMP VALUES (7654, 'MARTIN', 'SALESMAN', 7698, TO_DATE('28-SEP-1981', 'DD-MON-YYYY'), 1250, 1400, 30); INSERT INTO EMP VALUES (7698, 'BLAKE', 'MANAGER', 7839, TO_DATE('1-MAY-1981', 'DD-MON-YYYY'), 2850, NULL, 30); INSERT INTO EMP VALUES (7782, 'CLARK', 'MANAGER', 7839, TO_DATE('9-JUN-1981', 'DD-MON-YYYY'), 2450, NULL, 10); INSERT INTO EMP VALUES (7788, 'SCOTT', 'ANALYST', 7566, TO_DATE('09-DEC-1982', 'DD-MON-YYYY'), 3000, NULL, 20); INSERT INTO EMP VALUES (7839, 'KING', 'PRESIDENT', NULL, TO_DATE('17-NOV-1981', 'DD-MON-YYYY'), 5000, NULL, 10); INSERT INTO EMP VALUES (7844, 'TURNER', 'SALESMAN', 7698, TO_DATE('8-SEP-1981', 'DD-MON-YYYY'), 1500, NULL, 30); INSERT INTO EMP VALUES (7876, 'ADAMS', 'CLERK', 7788, TO_DATE('12-JAN-1983', 'DD-MON-YYYY'), 1100, NULL, 20); INSERT INTO EMP VALUES (7900, 'JAMES', 'CLERK', 7698, TO_DATE('3-DEC-1981', 'DD-MON-YYYY'), 950, NULL, 30); INSERT INTO EMP VALUES (7902, 'FORD', 'ANALYST', 7566, TO_DATE('3-DEC-1981', 'DD-MON-YYYY'), 3000, NULL, 20); INSERT INTO EMP VALUES (7934, 'MILLER', 'CLERK', 7782, TO_DATE('23-JAN-1982', 'DD-MON-YYYY'), 1300, NULL, 10); Dr. Philip Cannata 6

7 Producers and Consumers Oracle sequence example Dr. Philip Cannata 7

8 (define (f n) (let/cc esc (/ 1 (if (zero? n) (esc 1) n)))) Continuations 1. When you invoke the continuation, it s as if the entire let/cc expression that binds esc should be cut out of the program and replaced with the value passed to esc, i.e., its as if the actual code for f is really this: (define (f n) 1) 2. let/cc binds its variable to the next sexp when it is invoked. 3. let/cc causes the interpreter to revert to the state that it was in when the let/cc was defined when the let/cc variable is invoked. Dr. Philip Cannata 8

9 (define (route-producer send) (send 'providence) (send 'houston) (send 'bangalore))) Producers and Consumers > (route-producer display) providencehoustonbangalore 'providence 'providence Dr. Philip Cannata 9

10 Producers and Consumers (define route-producer (local ([define resume (box false)]) (lambda (send) ((unbox resume) 'dummy) (send 'providence) (send 'houston) (send 'bangalore)))))) 'providence 'providence Dr. Philip Cannata 10

11 Producers and Consumers (define route-producer (local ([define resume (box false)]) (lambda (send) ((unbox resume) 'dummy) (send (unbox resume)) (send 'houston) (send 'bangalore)))))) false > Dr. Philip Cannata 11

12 (define route-producer (local ([define resume (box false)]) (lambda (real-send) (local ([define send (lambda (value-to-send) (let/cc k (set-box! resume k) (real-send value-to-send))))]) ((unbox resume) 'dummy) (send 'providence) (send 'houston) (send 'bangalore))))))) Producers and Consumers > (let/cc q (route-producer q)) 'providence > (let/cc q (route-producer q)) 'houston > (let/cc q (route-producer q)) 'bangalore > (let/cc q (route-producer q)) 'dummy Dr. Philip Cannata 12

13 (define route-producer (local ([define resume (box false)]) (lambda (real-send) (local ([define send (lambda (value-to-send) (let/cc k (set-box! resume k) (real-send value-to-send))))]) ((unbox resume) 'dummy) (send 'providence) (send 'houston) (send 'bangalore))))))) Producers and Consumers > (route-producer display) providencehoustonbangalore > (route-producer display) 'dummy > (route-producer display) 'dummy Dr. Philip Cannata 13

14 (define route-producer (local ([define resume (box false)]) (lambda (real-send) (local ([define send (lambda (value-to-send) (let/cc k (set-box! resume k) (real-send value-to-send))))]) ((unbox resume) 'dummy) (send 'providence) (send 'houston) (send 'bangalore))))))) > (let/cc q (route-producer q)) 'providence > (let/cc q (route-producer q)) 'houston > (let/cc q (route-producer q)) 'bangalore > (let/cc q (route-producer q)) 'dummy Producers and Consumers Run 1. and then run 2. Then restart and just run What will this do? (let ((a 1)) (display (let/cc q (route-producer q))) (display a) (display " ") (let ((a 2)) (display a))) 2. What will this do? (let ((a 1)) (display (let/cc q (route-producer q))) (display a) (display " ") (let ((a 2)) (route-producer display) (display a))) Dr. Philip Cannata 14

15 Producers and Consumers (define (make-producer body) (define resume (box false)) (lambda (real-send) (define send-to (box real-send)) (define (send value-to-send) (set-box! send-to (let/cc k (set-box! resume k) ((unbox send-to) value-to-send))))) ((unbox resume) real-send) (body send)))) (define number-producer (make-producer (lambda (send) (send 1) (send 2) (send 3))))) (define get call/cc) (get number-producer) press Run > (+ (get number-producer) (get number-producer) (get number-producer) ) 6 > press Run > (+ (get number-producer) (get number-producer) (get number-producer) (get number-producer)).. user break > Dr. Philip Cannata 15

16 (define (make-producer body) (define resume (box false)) (lambda (real-send) (define send-to (box real-send)) (define (send value-to-send) (set-box! send-to (let/cc k (set-box! resume k) ((unbox send-to) value-to-send))))) ((unbox resume) real-send) (body send)))) (define (odds-producer-body send) (local ([define (loop n) (send n) (loop (+ n 2)))]) (loop 1))) (define odds-producer (make-producer odds-producer-body)) (define (get producer) (let/cc k (producer k))) Producers and Consumers press Run > (+ (get odds-producer) (get odds-producer) (get odds-producer) (get odds-producer) (get odds-producer)) 25 > Dr. Philip Cannata 16

17 (define (make-producer body) (define resume (box false)) (lambda (real-send) (define send-to (box real-send)) (define (send value-to-send) (set-box! send-to (let/cc k (set-box! resume k) ((unbox send-to) value-to-send))))) ((unbox resume) real-send) (body send)))) (define (integer-producer-body send) (local ([define (loop n) (send n) (loop (+ n 1)))]) (loop 1))) (define integer-producer (make-producer integer-producer-body)) (define (get producer) (let/cc k (producer k))) Producers and Consumers (define (Loop n) (define integer-producer (make-producer integer-producer-body)) (define List (box (list))) (let y ((x n)) (set-box! List (cons (get integer-producer) (unbox List ))) (if (> x 1) (y (- x 1) ) (display (unbox List)) (newline) (eval (cons '* (unbox List))))))) Dr. Philip Cannata 17

CS2 Current Technologies Lecture 2: SQL Programming Basics

T E H U N I V E R S I T Y O H F R G E D I N B U CS2 Current Technologies Lecture 2: SQL Programming Basics Dr Chris Walton (cdw@dcs.ed.ac.uk) 4 February 2002 The SQL Language 1 Structured Query Language