Запитання з тегом «inference»

Я стикався з цим терміном Хіндлі-Мілнер , і я не впевнений, чи розумію, що це означає. Я читав наступні публікації: Стів Єгге - динамічні мови відбиваються назад Стів Єгге - проблема Піноккіо Даніель Співак - Що таке Хіндлі-Мілнер? (а чому це круто?) Але немає жодного запису для цього терміна у …

124 functional-programming  types  inference  hindley-milner 

моє запитання сьогодні досить просте: чому компілятор не може зробити висновок про параметри шаблону від конструкторів класів, наскільки це може зробити з функціональних параметрів? Наприклад, чому наступний код не міг бути дійсним: template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int main() …

102 c++  templates  parameters  inference