Type Inference Debate
Discussions center on the pros, cons, usability, and implementations of type inference in programming languages like Haskell, Rust, Go, and OCaml, including comparisons to explicit typing and Hindley-Milner systems.
Activity Over Time
Top Contributors
Keywords
Sample Comments
There's type inference everywhere!
lol no? type inference is great u just suck at programming.
Some way to have type inference without the cons of type inference or the verbosity of static typing
Now you’ve got me curious. I’d like to type inference in go. Can you tell me what languages do it better?
Who said anything about type inference?
Type inference would've been nice. As would have been a const inference.
Those who don't know type inference are destined to reinvent it ... badly.
Wouldn't this be true of all statically typed languages that don't allow type inference in function signatures?
It's not HM-style type inference, which is presumably what the parent comment was referring to.
What makes you say "with type inference being where it is"? Have there been recent advancements?