"Type inference" as a term has been diluted as to be almost meaningless.
@littlecalculist What a lot of languages sell as "type inference" is just bottom up derivation for simple expressions.
-
-
@pcwalton I see, sure. I'm not sure that renders "type inference" meaningless, so much as it's a specific abuse of the term.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@pcwalton@littlecalculist Some people use "type propagation" for that, which seems like a reasonable term for it.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@pcwalton@littlecalculist an explanative post would be helpful (for those who are not active in PL research but are curious)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.