Вопросы с тегом «inference»

Я столкнулся с этим термином Хиндли-Милнер , и я не уверен, что понимаю, что он означает. Я прочитал следующие сообщения: Стив Йегге - Динамические языки наносят ответный удар Стив Егге - Проблема Пиноккио Дэниел Спивак - Что такое Хиндли-Милнер? (а почему это круто?) Но для этого термина нет единой записи …

124 functional-programming  types  inference  hindley-milner 

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

103 c++  templates  parameters  inference