現在の継続での呼び出し

(定義( f戻り値) (戻り値2 ) 3 )                                                                                                                                 
                                                                                                                                        
  

( f (ラムダ( x ) x )) => 3   
 

(現在の継続fでの呼び出し) => 2 
 

;; [LISTOF X] -> ( -> X u 'you-fell-off-the-end) 
( define ( generate-one-element-at-a-time lst ) ;; 両方の内部関数はlstのクロージャです  
  

  ;; リスト内の現在の要素を
戻り引数 (継続) に渡す内部変数/関数。要素が残っていない場合はリストの終了マーカーを渡します。各ステップで関数名は関数本体を指す継続に再バインドされ、return は呼び出し元が指定した継続に再バインドされます。( define ( control-state return ) ( for-each ( lambda ( element ) ( set! return ( call-with-current-continuation ( lambda ( resume-here ) ;; 現在の継続を取得します( set! control-state resume-here ) ( return element ))))) ;; (return element) は次に評価されます return lst ) ( return 'you-fell-off-the-end )) ;; (-> X u 'you-fell-off-the-end) ;;これは実際のジェネレーターであり、一度に a-list から 1 つの項目を生成します。( define ( generator ) ( call-with-current-continuation control-state ))  
  
  
  
    
     
      
                 
                               
                                
                                 
                                 
     
     
  
  
  
   
     

  ;; ジェネレータ
ジェネレータを返す)  

( define generate-digit ( generate-one-element-at-a-time ' ( 0 1 2 ))) 
     

(生成数字) ;; 0 (生成数字) ;; 1 (生成数字) ;; 2 (生成数字) ;; 端から落ちてしまった 
 
 
 

;; call-with-current-continuation を使用した協調型マルチタスク
;; 25 行の Scheme で


;; 実行を待機しているスレッドのリスト。これは、1 つの引数を持つ戻り値のない関数 (主に継続)
のリストです。 ;; 継続は、(exit) と同様に戻り値のない関数であり
、呼び出し元に制御を渡すことはありません。

(定義済みリスト' ())  

;; 返さない関数。
実行待ちのスレッドが他にあれば、次のスレッドを実行します。そうでない場合は
、環境全体を終了させる元の exit を呼び出します。 
( define exit ;; オーバーライドする元の exit。( let (( exit exit )) ;; オーバーライドする関数。( lambda () ( if ( not ( null? ready-list )) ;; 実行待ちのスレッドが他にもあります。;; そのため、それを実行します。( let (( cont ( car ready-list ))) ( set! ready-list ( cdr ready-list )) ;; ready-list には返さない関数だけが含まれるため、これは返しません。( cont #f )) ;; 実行するものが残っていません。;; 元の (exit) は返さない関数であるため、これは返さない関数です。( exit )))))
 
  
    
    
     
         
	  
	  
             
               
	    
	    
             
	  
	  
	  
          

;; 指定された引数を持つ 1 つの引数関数を受け取り
、それをフォークします。 ;; フォークされた関数の新しいスレッドは、
関数が終了すると終了します。
( define ( fork fn arg ) ( set! ready-list ( append ready-list ;; このready-listに追加された関数は、 exit が非戻りであるため、非戻りです。( list ( lambda ( x ) ( fn arg ) ( exit ))))))   
   
         
		
		
		
		
		  
		    
		   

;; 実行を待機している次のスレッドに制御を明け渡します。
;; 最終的には戻りますが、制御を明け渡し
、継続が呼び出されたときにのみ制御を取り戻します。
( define ( yield ) ( call-with-current-continuation ;; この yield ( lambda ( cont )への呼び出しを表す継続をキャプチャします。 ;; それを準備リストに追加します。( set! ready-list ( append ready-list ( list cont ))) ;; 次のスレッドを取得し、実行を開始します。( let (( cont ( car ready-list ))) ( set! ready-list ( cdr ready-list )) ;; 実行します。( cont #f ))))) 
  
   
    
     
      
            
                    
     
        
          
       
        

( let* (( yin (( lambda ( cc ) ( display # \ @ ) cc ) ( call-with-current-continuation ( lambda ( c ) c )))) ( yang (( lambda ( cc ) ( display # \ * ) cc ) ( call-with-current-continuation ( lambda ( c ) c ))))) ( yin yang ))