News for hackers. Stuff that matters.
Re:Ask HN: Reasons behind renaissance of functional programm... by sousousou on Monday April 28, 2014 @12:25AM (#7658215)
I agree. Once you understand typechecker error messages a little bit, refactoring becomes very simple (and fun!).

1. change a core type or function 2. fix all the type errors 3. yay

This is wonderful. I think the tradeoff is that you start a new system, you have to delay running the code for a while. Until you have your core. (Fortunately there is undefined :: a for such uses.)

There are no comments on this comment yet.