「Typinferenz」のコアイメージコアイメージ
プログラム内の手がかりを集め、明示されていない型を自動で確定する仕組み
「Typinferenz」のドイツ語での定義ドイツ語での定義
Das selbstständige Bestimmen eines fehlenden Typs anhand von Werten, Ausdrücken oder anderen Angaben im Programm.
「Typinferenz」の語源語源
Typinferenzは、TypとInferenzを組み合わせた語で、Inferenzは観察できる事実から見えない結論を導くことを表す
「Typinferenz」のコラムコラム
- Typinferenzがある言語でも、関数の公開部分などでは型を明示することがあり、自動決定と型注釈は両立する