«inference» etiketlenmiş sorular

Bu Hindley-Milner terimiyle karşılaştım ve ne anlama geldiğini anlayıp anlamadığımdan emin değilim. Aşağıdaki gönderileri okudum: Steve Yegge - Dinamik Diller Saldırıyor Steve Yegge - Pinokyo Sorunu Daniel Spiewak - Hindley-Milner nedir? (ve neden havalı?) Ancak wikipedia'da bu terim için genellikle bana kısa bir açıklama sunan tek bir giriş yoktur. Not …

124 functional-programming  types  inference  hindley-milner 

Bugünkü sorum oldukça basit: Derleyici neden işlev parametrelerinden yapabildiği gibi sınıf kurucularından şablon parametreleri çıkaramıyor? Örneğin, aşağıdaki kod neden geçerli olamadı: template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int main() { int num = 2; Variable var(num); //would be equivalent to …

103 c++  templates  parameters  inference