Domande taggate «inference»

Che cos'è Hindley-Milner?

Ho incontrato questo termine Hindley-Milner e non sono sicuro di capire cosa significhi. Ho letto i seguenti post: Steve Yegge - Dynamic Languages Strike Back Steve Yegge - Il problema di Pinocchio Daniel Spiewak - Che cos'è Hindley-Milner? (e perché è bello?) Ma non esiste un'unica voce per questo termine …

124 functional-programming types inference hindley-milner

Perché non dedurre il parametro del modello dal costruttore?

la mia domanda oggi è piuttosto semplice: perché il compilatore non può dedurre i parametri del modello dai costruttori di classi, così come può fare dai parametri delle funzioni? Ad esempio, perché il codice seguente non può essere valido: template<typename obj> class Variable { obj data; public: Variable(obj d) { …

102 c++ templates parameters inference

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.