zoukankan      html  css  js  c++  java
  • The scheme programming language--continuation

    开始学习大名鼎鼎的continuation,脑袋转起来吧.

    continuation is just a procedure that accepts one single variable.

    call/cc catch the current continuation------current continuation means what the system are going to do with the result of (call/cc expression)

    In example, (call/cc (lambda(k).....))this continuation is stored in k. whenever k is invoked. We return to that situation

    (call/cc
        (lambda(k)
            (* 5 (k 4))))  => 4
    
    (+ 2
        (call/cc
            (lambda(k)
                (* 5 (k 4))))) => 6

    A more useful example

    (define product
      (lambda(ls)
        (call/cc
          (lambda(break)
            (let f ([ls ls])
              (cond
                [(null? ls) 0]
                [(= (car ls) 0) (break 0)]
                [else (* (car ls) (f (cdr ls))]))))))

    A very subtle example

    (let ([x (call/cc (lambda(k) k))])
      (x (lambda(ignore) "hey!")))

    the behavior of this piece needs careful understanding.

    The value binded to x is like

    (lambda(var)
      (let ([x var])
        (x (lambda(ignore) "hey!"))))

    when this procedure applys to (lambda(ignore) "hey!")), result in printing "hey"

     Another subtle one

    (((call/cc (lambda (k) k))  (lambda (x) x))  "HEY!") => "HEY!"

    Continuation could be saved in top-level env. And can be invoke whenever necessary

    (define retry #f)
    
    (define factorial
      (lambda (x)
        (if (= x 0)
            (call/cc (lambda (k) (set! retry k) 1))
            (* x (factorial (- x 1))))))
    
    (factorial 4) => 24
    (retry 1) => 24
    (retry 5) => 120

    Continuation is a whole procedure during a process about what to do with a single value. In this example this procedure include all the operation on the base value till the procedure returns.

    The last example is fairly interesting and useful. A very cool application to do a ligh-weight multitasking job

    (define lwp-list '())
    (define lwp
      (lambda(thunk)
        (set!  lwp-list (append lwp-list (list thunk)))))
    (define start
      (lambda()
        (let ([p (car lwp-list)])
          (set! lwp-list (cdr lwp-list))
          (p))))
    (define pause
      (lambda()
        (call/cc
          (lambda(k)
            (lwp (lambda() (k #f))
            (start)))))
    (lwp (lambda () (let f () (pause) (display "b") (f)))))
    (lwp (lambda () (let f () (pause) (display "i") (f)))))
    (lwp (lambda () (let f () (pause) (display "t") (f)))))
    (lwp (lambda () (let f () (pause) (display "c") (f)))))
    (lwp (lambda () (let f () (pause) (display "h") (f)))))
    (lwp (lambda () (let f () (pause) (display "!") (f)))))
    (lwp (lambda () (let f () (pause) (newline) (f)))))
    (start) => where amazing happens

    Analyse the complex behavior step by step

    (lwp (lambda () (let f () (pause) (display "b") (f))))))

    At first, put these thunks on the the excution list one by one

    Then ”start". pop out the first (thunk) and execute it. It is a recursive procedure. (pause) is invoked soon. (pause) append the bomb to the back end. Then continue read from the execute list.

    When come to the bomb. The continuation is invoked. The continuation should 1. print "b" 2.invoke f again. That's it! As literally defined.

    f->(pause)->||->print "b"->f->(pause)->||->.......

    SO COOL!!

  • 相关阅读:
    【IntelliJ Idea】git commit 显示 Local Changes
    【Nginx】worker_connections设置
    【Java Web开发学习】DataSource获取的Connection要不要关闭
    【Redis】LOADING Redis is loading the dataset in memory
    shell 常用
    insert DB
    mq部署
    systemctl启动方式
    mq启动报错ERROR: Please set the JAVA_HOME variable in your environment, We need java(x64)! !!
    redis哨兵centos7开机自启动
  • 原文地址:https://www.cnblogs.com/cainfeng/p/4527254.html
Copyright © 2011-2022 走看看