For anyone interested in this subject, there's a great minimalistic implementation in OCaml here: http://okmij.org/ftp/ML/generalization.html http://okmij.org/

For anyone interested in this subject, there's a great minimalistic implementation in OCaml here: http://okmij.org/ftp/ML/generalization.html http://okmij.org/ftp/ML/generalization.html The author starts with a naive implementation similar to the one linked here, then implements a series of optimizations that make it more efficient.