継続 - ocaml-nagoya継続とは? † まず、大域脱出の例を見てみましょう。 SEND+MORE=MONEY でも、 return"ラベル"を定義して、 (return (list S E N D '+ M O R E '= M O N E Y)) なんてことをやっています。 リストlisと述語手続きpredを取り、lisの各要素に順にpredを適用して、 predが真の値を返したら直ちにその要素を返すような関数findはこう書きます。 (define (find pred lis) (call/cc (lambda (return) (for-each (lambda (elt) (if (pred elt) (return elt))) lis) #f))) lambda (return) はちょっと奇妙です。 私は脳内で、 (define (find pred lis) (let/cc return (fo
