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!!

  • 相关阅读:
    我爱网络流之最大流Dinic
    2019ICPC陕西邀请赛复盘
    ZOJ
    ACM省赛及蓝桥总结,且随疾风前行,身后亦须留心
    ZOJ 4124 拓扑排序+思维dfs
    蓝桥 log大侠
    蓝桥历年试题 DNA对比
    “美登杯”上海市高校大学生程序设计邀请赛 (华东理工大学)
    蓝桥历年试题 套娃
    WPF学习之路(七)应用程序和窗口(续)
  • 原文地址:https://www.cnblogs.com/cainfeng/p/4527254.html
Copyright © 2011-2022 走看看