In der englischen Semantik ist "type deduction" gleich "type inferring"?Was ist der Unterschied zwischen C++ "Typ Deduktion" und Haskell "Typ Inferenz"?
Ich bin mir nicht sicher, ob
Danke.
Die C++ - Spezifikation und die Arbeitsvorlagen verwenden 'type deducce' ausführlich in Bezug auf den Typ von Ausdrücken, die keine Typdeklaration als Referenz haben; zum Beispiel this working draft on concepts verwendet es, wenn über auto -declared Variablen zu sprechen und ich erinnere mich an viele Bücher mit ihm, wenn man über Vorlagen Weg zurück, wenn ich lernen musste - und dann vergessen Sie die meisten - C++. Type inference hat jedoch eine eigene Wikipedia-Seite und ist auch der Name eines bedeutenden Studienfachs in Programmiersprachentheorie. Wenn Sie Typinferenz sagen, werden die Leute sofort an moderne typisierte funktionale Programmiersprachen denken. Sie können es sogar als Lineal verwenden, um Sprachen zu vergleichen. Manche mögen sagen, dass ihre Sprache X oder ihre Bibliothek Y einfacher zu lesen ist und daher besser oder freundlicher ist.
Ich würde sagen, dass Typ-Inferenz der spezifischere, präzisere und am weitesten verbreitete Begriff ist. Typabzug als Ausdruck enthält wahrscheinlich nur das Cachet in der C++ - Community. Die Begriffe sind enge Cousins, aber der Kontext, in dem sie verwendet wurden, hat ihnen diktionale Farbtöne gegeben.