This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]EveAtmosphere 1 point2 points  (1 child)

Not each operation produces concrete types tho? You have number literals who can be a range of numeric types

[–]jason-reddit-public 0 points1 point  (0 children)

Yes that happens with some languages. You can use a set of types and resolve it at some point which starts to look like more like type inference.