Do you know if someone has created a (small) C++/D - like language designed to work with a Hindley-Milner type inference algorithm (using it for something useful)? Days ago I was thinking about how much good it may come from giving such type system to D2, but I don't how it can interact with the D templates. Bye, bearophile