The =worker-wrapper= component of the [[Stratego optimizer]] splits strategy definitions into a _wrapper_ performing a pattern match, and
a _worker_ doing the real work of the operator. 
That is, a definition of the form
<verbatim>
  f(as1 | as2) = {xs : ?t ; s}
</verbatim>
is split into the pair of definitions
<verbatim>
  f(as1 | as2) = {xs : ?t ; g(as1 | as2, xs)}
  g(as1 | as2, xs) = s
</verbatim>
Thus =f= is reduced to a small definition comprising only a match and a call to the continuation =g=.
The smaller definition for =f= becomes attractive to inline, especially in the context of a choice
where [[pattern match compilation]] may integrate it with other matches, or in the context of
a build, which may cancel against the match =?t=.

-- Main.EelcoVisser - 17 Aug 2003