C++の "型減算"とHaskellの "型推論"の違いは何ですか？

Question

英語のセマンティクスでは、 "型推論"は "型推論"と同じですか？

私は、これは "されていない、厳格な「型推論」の定義を伝えるコンピュータサイエンスがあります 異なる言語設計者によって選ばれただけでイディオムの好みである、または

1. かどうかわからないんだけどタイプ推論 "？

ありがとうございます。

Answer 1

C++仕様と作業草案では、型宣言を参照として持たない式の型を参照するために '型推論'が広く使用されています。例えばthis working draft on conceptsはautoの宣言された変数について話しているときにそれを使用しています。私はそれを使ってたくさんの本を覚えています。しかし、Type inferenceは、独自のWikipediaのページを持ち、プログラミング言語理論の重要な研究分野の名前でもあります。型推論を言うなら、人々は直ちに現代型の関数型プログラミング言語を考えるでしょう。あなたは言語を比較するためにそれを定規として使うことさえできます。彼らの言語XまたはそのライブラリYは推論をタイプする方が簡単であると言われるかもしれません。

タイプ推論は、より具体的で、より正確で、より広く使用される用語です。フレーズとしてのタイプ控除は、おそらくC++コミュニティでのみカシを保持します。用語は近いものですが、彼らが使用されている文脈は、彼らに色の疑似陰影を与えました。