Preguntas etiquetadas con inference

Encontré este término Hindley-Milner , y no estoy seguro de comprender lo que significa. He leído las siguientes publicaciones: Steve Yegge - Lenguajes dinámicos contraatacan Steve Yegge - El problema de Pinocho Daniel Spiewak - ¿Qué es Hindley-Milner? (y por qué es genial?) Pero no hay una sola entrada para …

124 functional-programming  types  inference  hindley-milner 

mi pregunta de hoy es bastante simple: ¿por qué el compilador no puede inferir parámetros de plantilla de constructores de clases, tanto como puede hacerlo a partir de parámetros de función? Por ejemplo, ¿por qué no puede ser válido el siguiente código? template<typename obj> class Variable { obj data; public: …

102 c++  templates  parameters  inference