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
I can see how types could be a bit of load initially, but once you start working in sync with the compiler it's a huge load off you. You know that if it type checks, you don't have to manage whole classes of errors. Plus type errors are a useful todo list while doing refactoring
1
1
Point of the refactoring comment is that it's a whole bunch of state you can offload onto the compiler (it remembers it while you go off to lunch!). Also allows you to be much more ambitious, especially when you have changes that are self-supporting and need to happen together.