Type inference implemented in C++

Question

Is there an implementation in C++, of Damas-Hindley-Milner style type inference, preferably using modern C++ techniques?

Answer 1

Here's my implementation of Hindley-Milner type inference in C++11, based on the Python code by Robert Smallshire, the Scala code by Andrew Forrest, the Perl code by Nikita Borisov and the paper "Basic Polymorphic Typechecking" by Cardelli.

It makes heavy use of boost::variant and boost::apply_visitor.