2 ms·
Nice idea! The pattern matching compiler/optimizer in OCaml doesn't do this. It's implemented using this algorithm which I've attempted to understand a few ti
by rwmj 3y ago
Nice idea! The pattern matching compiler/optimizer in OCaml doesn't do this. It's implemented using this algorithm which I've attempted to understand a few times but is a bit beyond me:
Fabrice Le Fessant, Luc Maranget, Optimizing Pattern-Matching ICFP'2001
http://pauillac.inria.fr/~maranget/papers/opat/ http://pauillac.inria.fr/~maranget/papers/opat/