Perguntas com a marcação «inference»

Encontrei esse termo Hindley-Milner e não sei se entendi o que isso significa. Eu li os seguintes posts: Steve Yegge - Revolução de idiomas dinâmicos Steve Yegge - O problema de Pinóquio Daniel Spiewak - O que é Hindley-Milner? (e por que é legal?) Mas não há uma entrada única …

124 functional-programming  types  inference  hindley-milner 

minha pergunta hoje é muito simples: por que o compilador não pode inferir parâmetros de modelo de construtores de classe, tanto quanto pode fazer a partir de parâmetros de função? Por exemplo, por que o código a seguir não poderia ser válido: template<typename obj> class Variable { obj data; public: …

102 c++  templates  parameters  inference