Eijiro Sumii wrote:
> I agree.  In fact, I'm looking for a good (as simple and efficient as
> possible) algorithm of pattern matching.  Any suggestions, anyone?

Peter Sestoft has a nice paper about pattern matching:
	 "ML pattern match compilation and partial evaluation"
           In Danvy, Glück, and Thiemann (editors): Partial Evaluation.
           Dagstuhl Castle, Germany, February 1996.
           Lecture Notes in Computer Science, vol. 1110, pages 446-464.
           Springer-Verlag 1996
	  http://www.dina.kvl.dk/~sestoft/papers/match.ps.gz

Easy to follow and it has a nice trade-off between simplicity and efficiency.


Cheers,

--Ken Friis Larsen