Skip to main content

Michael Vitousek
Historical

This post announced local type inference when it was introduced. For current syntax and behavior, see the Annotation Requirement documentation.

We're replacing Flow’s current inference engine with a system that behaves more predictably and can be reasoned about more locally.