Conversation

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

Replying to

and

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.

12:21 AM · Nov 22, 2017Twitter Web Client

Replying to

and

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.