シンクコンテキストでマップをスローする方法を確認しようとしています。このコードでは
class Sunk {
has $.titanic;
method sink {
say "Sinking $!titanic";
}
}
Sunk.new( :titanic($_) ) for 1..3;
(1..3).map: { Sunk.new( :titanic($_) ) };
forループが効果的に作成されたすべてのシンク、mapしません。なぜか？
ローストでのこのテスト：https : //github.com/perl6/roast/blob/b9bfe1844db25f65a4aeb351a0107f83689cb5c2/S04-statements/sink.t#L27-L32は、そのテストとして機能するはずです。そして、マップは効果的にシンクコンテキストにありますが、どのように「沈み込んで実行される」のかわかりません。それは単に実行されます。
回答:
あなたの例でmapは、SeqはSunkオブジェクトを含むa を返します。全体Seqが沈んでおりSeq.iterator.sink-all、これはを効果的に呼び出しますが、その要素のすべてをシンクするわけではありません。それは、が返されるまでSeq呼び出すことによって、空をプルするだけです。pull-oneIterationEnd
説明することはあまりありませんが、その大部分を最後まで残します。
シンクコンテキストでマップをスローする方法を確認しようとしています。
--> Nilブロックの戻り値として追加すると、次のようになります。
(1..3).map: -> $_ --> Nil { Sunk.new( :titanic($_) ) }
forループが効果的に作成されたすべてのシンク、mapしません。
デフォルトでは、ブロックは以下で実行されます：
シンクコンテキストの最後以外のすべてのステートメント。
最後のステートメントはシンクコンテキストではありません。（最後のステートメントはブロックの戻り値なので、シンクに落とすことは不適切であると推定されます。）
コードはmap呼び出しのこのデフォルトを変更しなかったため、ブロックの最後のステートメント（その唯一のステートメント）はシンクコンテキストにありませんでした。（--> Nilブロックの署名に追加すると、最後のステートメントがシンクコンテキストに戻ります。）
このデフォルトスキームの例外には、ある種のステートメントキーワードが含まれます。forこれらの1つです。そのステートメントまたはブロックの最後のステートメントをシンクコンテキストに置きます。（への最後の文があるので、こと、それを元に戻すことはないシンク文脈で、あなたのような何かを書くことができます$ = do for ...。）
ローストでのこのテストは、そのためのテストとして機能するはずです。そして
map、シンクのコンテキストでは効果的ですが、それがどのように「沈み込んで実行される」かはわかりません。それは単に実行されます。
対応するチケットとテストで混乱しています。申し訳ありませんが、私はそれを手伝うことはできません。
私はこの答えを準備するために何時間もの研究をしました。私が見つけて頼りにしたいくつかの作品が、私の簡単なメモとともに続きます。
次のリンクの多くは、IRCログの特定の行に移動します。それらのほとんどの私の意図は、各行に続くダイアログを少し読んで、そこから得られるものを最大化することです（それが混乱したとしても、次に説明するように、それが役立つかもしれないと思うので）。
少なくとも以下の概要を読み、いくつかのリンクをクリックすることを検討してから、この回答の下にコメントを投稿して、ここでさらにディスカッションを促し、より明確にすることができるかどうかを確認してください。
ラリーは、STD（2010）でシンク処理の実装を開始しました。主に、彼がrakuのシンクの概念を（STDパーサーで）コード形式に組み込んだ時点を確立するために含まれています。
パトリックは例sub foo() { for @list { .say } }; foo(); 1（2010）について明確にするように求めます。ラリーが望んでいたことについてパトリックとラリー（TimToady）の間の対話に焦点を当て、サイドトラックを無視してください。
TimToady：「シンクのコンテキストは素晴らしいエラーメッセージを理解するために非常に重要です」（2012）。（私はrakuのシンク機能を極度の拷問実装者の問題と考えています。以下の問題トラッカーリンクを参照してください。）
jnthn：「熱心なコンテキストとシンクコンテキストは異なることに注意してください。シンクコンテキストは、forループ（またはマップ）が結果リストを構築しないようにする必要があります」（2012）これは、コンテキストをシンクするもう1つの要素です。それは素晴らしいエラーメッセージだけではありません。パフォーマンスについてもです。
TimToady：「とにかく、-> Nilは、副作用のためだけに行われた手順のかなり良いドキュメントのようです」（2012）
TimToady：「「プロシージャ」用の個別の宣言子を作成することも可能ですが、シンクの戻り値の型を持っているだけで、すでにそうなっているようです」（彼は--> Nil）（2012）
「zoffixシンク」の検索に一致するrakudo / rakudoのいくつかの未解決の問題。特に暗黙の沈下/ &unwantedヘルパー＃157チケットの欠陥に注意してください。