Optimizing Pattern Matching
Fabrice Le Fessant, Luc Maranget
INRIA Roquencourt, B.P. 105, 78153 Le Chesnay Cedex, France
We present improvements to the
backtracking technique of pattern-matching compilation.
Several optimizations are introduced,
such as commutation of patterns, use of exhaustiveness information, and control
flow optimization through the use of labeled static exceptions and context
These optimizations have been
integrated in the Objective-Caml compiler.
They have shown good results in increasing the speed of
pattern-matching intensive programs, without increasing
final code size.
This document was translated from LATEX by