Type Systems Debate
The cluster centers on discussions evaluating the strengths, weaknesses, expressiveness, and overall value of type systems in programming languages, often comparing languages like Haskell, Rust, Go, and Java while debating if better type systems lead to superior software.
Activity Over Time
Top Contributors
Keywords
Sample Comments
Sure, just look at the languages that have more stringent type systems.
What language has a better type system?
Not sure what do you mean by "its type system isn't robust".
A type system doesn't really solve that issue tho.
A better type system != better software.
"Lean hard on your type system's capabilities".
They didn't say the type system is a problem, they said it caused a problem.
Having a good type system would be a good start :)
Why is the type system a joke (genuine question)?
How would a type system hinder those people?