タグ付けされた質問 「inference」

私はこの用語Hindley-Milnerに出会いましたが、それが何を意味するのか把握できていません。 次の投稿を読みました。 Steve Yegge- 動的言語の反撃 Steve Yegge- ピノキオ問題 Daniel Spiewak- Hindley-Milnerとは何ですか？（そして、なぜそれがクールなのですか？） しかし、ウィキペディアにはこの用語の単一のエントリはなく、通常は私に簡潔な説明を提供します。 注-1つが追加されました それは何ですか？ それを実装または使用する言語とツールは何ですか？ 簡潔な答えを教えていただけませんか？

124 functional-programming  types  inference  hindley-milner 

今日の私の質問は非常に単純です：コンパイラーがクラスコンストラクターからテンプレートパラメーターを推測できないのはなぜですか？たとえば、次のコードが有効でなかった理由： 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 Variable<int> var(num), return 0; //but actually a compile error } 私が言うように、これは有効ではないことを理解しているので、私の質問はなぜそうではないのですか？これを許可すると、主要な構文上の穴が作成されますか？この機能が不要なインスタンスはありますか（タイプを推測すると問題が発生します）？関数のテンプレート推論を許可する背後にあるロジックを理解しようとしていますが、適切に構築されたクラスではありません。

102 c++  templates  parameters  inference