inference – Tarik Billa

Why not infer template parameter from constructor?

December 24, 2022 by Tarik

I think it is not valid because the constructor isn’t always the only point of entry of the class (I am talking about copy constructor and operator=). So suppose you are using your class like this : MyClass m(string s); MyClass *pm; *pm = m; I am not sure if it would be so obvious for … Read more

What is Hindley-Milner?

November 30, 2022 by Tarik

Hindley-Milner is a type system discovered independently by Roger Hindley (who was looking at logic) and later by Robin Milner (who was looking at programming languages). The advantages of Hindley-Milner are It supports polymorphic functions; for example, a function that can give you the length of the list independent of the type of the elements, … Read more