Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Static types in Python. Parent comment
(0) Generating a system of type equations, by recursively scanning the AST.
(1) Solving the system of equations. The nontrivial nature of this step is what makes type inference, well, inference.
In Go and C++'s case, the generated type equations come out already solved (that is, of the form `TypeVar = TypeExpr`), so there's nothing to infer!
(0) Generating a system of type equations, by recursively scanning the AST.
(1) Solving the system of equations. The nontrivial nature of this step is what makes type inference, well, inference.
In Go and C++'s case, the generated type equations come out already solved (that is, of the form `TypeVar = TypeExpr`), so there's nothing to infer!