Pytania otagowane jako inference

Co to jest Hindley-Milner?

Spotkałem się z tym terminem Hindley-Milner i nie jestem pewien, czy rozumiem, co to znaczy. Przeczytałem następujące posty: Steve Yegge - Dynamic Languages Strike Back Steve Yegge - Problem Pinokia Daniel Spiewak - Co to jest Hindley-Milner? (i dlaczego to jest fajne?) Ale nie ma jednego wpisu dla tego terminu …

124 functional-programming types inference hindley-milner

Dlaczego nie wywnioskować parametru szablonu z konstruktora?

Moje dzisiejsze pytanie jest dość proste: dlaczego kompilator nie może wywnioskować parametrów szablonu z konstruktorów klas, podobnie jak może to zrobić z parametrów funkcji? Na przykład, dlaczego następujący kod nie mógł być prawidłowy: template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int …

102 c++ templates parameters inference

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.

Licensed under cc by-sa 3.0 with attribution required.