In one project, I refactor my code late, late at night. I do it in almost a dream state; it's a process of nearly pure symbolic manipulation, involving none of

In one project, I refactor my code late, late at night. I do it in almost a dream state; it's a process of nearly pure symbolic manipulation, involving none of the complex mental model that we're used to needing to maintain while programming. I've been doing this a few times a month for a year, and have introduced one known bug. I have a very modest test suite. I'm no programming god, I'm just writing in haskell. Referential transparency, purity, and strong type checking for the win. (That one bug? Made during this hlint run <http://source.git-annex.branchable.com/?p=source.git;a=commitdiff;h=7e17151e69fcd86fd5cb90dd61ff55d2d017fee7&#62 http://source.git-annex.branchable.com/?p=source.git;a=commi...; and fixed here <http://source.git-annex.branchable.com/?p=source.git;a=commitdiff;h=7e17151e69fcd86fd5cb90dd61ff55d2d017fee7> http://source.git-annex.branchable.com/?p=source.git;a=commi...)