Type inference-both exact and speculative.
⇑ Translate the sentence above by Google ⇑
Related: inference
Prev: Even with type inference, redundant type information is needed.
Next: The inference and modeling process can be thought of as an operation stack.
