Pertanyaan yang diberi tag «inference»

Saya menemukan istilah ini Hindley-Milner , dan saya tidak yakin apakah mengerti artinya. Saya telah membaca posting berikut: Steve Yegge - Dynamic Languages ​​Strike Back Steve Yegge - Masalah Pinokio Daniel Spiewak - Apakah Hindley-Milner itu? (dan mengapa itu keren?) Tetapi tidak ada entri tunggal untuk istilah ini di wikipedia …

124 functional-programming  types  inference  hindley-milner 

pertanyaan saya hari ini cukup sederhana: mengapa kompilator tidak dapat menyimpulkan parameter template dari konstruktor kelas, sebanyak yang dapat dilakukan dari parameter fungsi? Misalnya, mengapa kode berikut tidak valid: template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int main() { int num …

102 c++  templates  parameters  inference