Function currying & pattern matching are 2 great language features which are nowhere near as good w/out a solid type system to back them up
3
15
96
Conversation
And as with many heated discussions on the interwebs, we're both lacking a huge amount of context about each other. We might also be working off differing definitions.
1
1
For instance implicit nullability and pervasive exceptions greatly reduces the help a type system will provide to you. Also langs without pattern matching and exhaustiveness checks also greatly reduce the advantages. Still would rather get out of a mess in that context though.