You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-⏩`Thread`はその用途からして、事実上`s -> [Thread s r]`という関数と同等の型です。regex-applicativeは`ReObject`によって文字列`[s]`の値をマッチさせる際、この`s -> [Thread s r]`に文字を渡します。
391
-
-➡️そして、関数が結果として返した、`Thread s r`型の値を<small>(そのリストから)</small>一つずつキューに追加して、また次の文字にマッチさせます。
392
-
<small>(キューなんで関数が返した新しい`Thread s r`型の値が直ちに実行されます)</small>
391
+
-➡️そして、関数が結果として返した、`Thread s r`型の値を<small>(そのリストから)</small>一つずつキューに追加して、また次の文字にマッチさせます。
393
392
-↩️一方、関数が空リストを返した場合は --- そう、マッチが失敗した、ということなのです。その場合は、キューからさらに`Thread s r`の値を取り出して<small>(値コンストラクターが`Thread`であれば)</small>マッチしなかった文字をまた`s -> [Thread s r]`に渡します。
0 commit comments