New posts in inference

What is Hindley-Milner?

functional-programming types inference hindley-milner

Why not infer template parameter from constructor?

c++ templates parameters inference