call/prompt 的主要功能，就如其名稱，是為被呼叫的函數提示一個標記，這個標記在 abort/cc 會被使用。完整的 call/prompt 調用是

(call/prompt f tag handler args ...)

f 是被調用的函數，中間的 tag 是標記，handler 是處理標記的函數，剩下的都是 f 的參數。讀者可以想像成

(with-handler [tag handler]
  (f args ...))

abort/cc 的調用是

(abort/cc tag vs ...)

tag 當然就是先前 prompt 寫進去的 tag，而 vs ... 則作為呼叫 handler 的引數

(handler vs ...)

調用 (make-continuation-prompt-tag) 產出，這個函數還可以接受一個 symbol 產生可讀的識別碼，並且每次調用這個函數，產生的 tag 都算是不同的 tag，勿必要儲存好這個實體。

call/cc 這個函數是 call with current continuation 的意思，比如說在下面的程式碼中

(* 2 1)

1 的 continuation 就是把 1 挖掉留下的 (* 2 hole)，故下列程式碼

(* 2 (call/cc (λ (k) (k 1))))

的結果是 2。讀者可以想像 k = λ (hole) (* 2 hole)，這在實作上不太正確，但對理解很有幫助。

一般來說，racket 的函數會簡單的寫成

(define (f params ...)
  stmt1
  ...
  stmtn)

如果我在其中安放一個 call/cc 會發生什麼事呢？

(define (f params ...)
  ...
  (call/cc (λ (k) ...))
  stmtk
  ...)

答案是 k = λ () (begin stmtk ... stmtn)。由於 racket 自動把

stmt1 ... stmtn

包裝成 (begin stmt1 ... stmtn)，而

(begin stmt1 stmt2 ...)

中 stmt1 的 continuation 是 (begin stmt2 ...)，以此類推就很容易理解 k 等於什麼了。

在 f 中我們寫下

(define (f params ...)
  (call/cc (λ (k) (abort/cc tag k ...))))

在 call/prompt 的 handler 中新增一個 resume 參數，這樣就完成了。讀者可以填補下面的程式中的空白來檢驗結果，也充當練習

(define (f params ...)
  (call/cc (λ (k) (abort/cc tag k ...)))
  ...)
(call/prompt f
             tag
             (λ (resume ...)
               ...
               ; 跳回 f 繼續
               (resume))
             args ...)