スカラ：区切り継続は説明 - 継続の概念に興味を持っていない

Question

が、私はウィキ、記事を読み始め、そしてこの「シンプル」の例に来た：スカラ座の知識がなくても

reset { 
    ... 
    shift { k: (Int=>Int) => // the continuation k will be the '_ + 1' below 
    k(7) 
    } + 1 
} 
// result: 8 

が、私は完全に失われましたよここでは、8がどのように出てくるのか理解できませんでした。

以下は、意味を理解しようとしたが失敗した方法です。どんな男が私に短い説明をしてくれますか？うん

• (Int=>Int)

  は、C＃のデリゲートのように見える...そこScalaの文法書ですが、彼らは私がマスターScalaの言語よりも理解限定継続のコンセプトで、より興味が、厚すぎる、入力はintです、出力はIntです。 Kであり、何が何であるかを私はここに迷ってしまいました

• k: (Int=>Int) => k(7)

  ...（のInt =>のInt）=> K（7）？

• shift { k: (Int=>Int) => k(7) } + 1

  さらに失われた...

• reset { ...; shift { k: (Int=>Int) => k(7) } + 1 }

  でさえも、より多くの失われた...

Answer 1

私は "Monadologie：タイプの不安のための専門のヘルプを"、クリス・リーグの話を見つけました（ http://vimeo.com/13304075）は、区切られた継続のより良い例の1つを含む。

Answer 2

fotNelton、どうもありがとう！このリンクのAlex Nethの答えが私を助けました。今私はそれを得たと思う。私が自分の質問に答えて、メモとして書き留めてみましょう。リセットおよびシフトの

文法：

reset { 
    ... 
    shift { cf: (InputParameterType => OutpututParameterType) => 
    CodeBlockInsideShift 
    } 
    CodeBlockAfterShiftBeforeEndOfReset 
} 

それは実際にC＃スタイルの擬似コードでは、意味：

public delegate OutpututParameterType CFDelegate(InputParameterType); 

CFDelegate cf = CodeBlockAfterShiftBeforeEndOfReset; 

CodeBlockInsideShift;