Questions marquées «inference»

Qu'est-ce que Hindley-Milner?

J'ai rencontré ce terme Hindley-Milner , et je ne suis pas sûr de comprendre ce que cela signifie. J'ai lu les articles suivants: Steve Yegge - Les langues dynamiques contre-attaquent Steve Yegge - Le problème de Pinocchio Daniel Spiewak - Qu'est - ce que Hindley-Milner? (et pourquoi est-ce cool?) Mais …

124 functional-programming types inference hindley-milner

Pourquoi ne pas déduire le paramètre de modèle du constructeur?

ma question aujourd'hui est assez simple: pourquoi le compilateur ne peut-il pas déduire les paramètres de modèle à partir des constructeurs de classe, autant qu'il peut le faire à partir des paramètres de fonction? Par exemple, pourquoi le code suivant ne pourrait-il pas être valide: template<typename obj> class Variable { …

102 c++ templates parameters inference

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.