Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
MinCaml: an educational compiler for tiny ML subset (documented in Japanese)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-03-08 (07:06)
From: Ken Friis Larsen <ken@f...>
Subject: Re: [Caml-list] MinCaml English Documentation

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

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


--Ken Friis Larsen