3 ms·
What’s the difference with type inference? Is it that flow typing can happen at runtime for just in time /noncompiled languages?
by baby 5y ago
What’s the difference with type inference? Is it that flow typing can happen at runtime for just in time /noncompiled languages?
- yxhuvud 5y agoFlow typing is basically a kind of type inference where the derived type of a variable is allowed to be different in different places of the code, based on control flow. However, not all type inference is flow typing. Flow typing is definitely a thing also in compiled languages, one example is Crystal, which is both compiled and has flow typing.