Dogfooding Type Error Advice

blog posts are for their authors, first

I had a non-trivial code refactoring that I chose to launch into yesterday. It might have failed (well, hey, sometimes you find out in the middle that it is not going to work out) and I knew that with suitable care the type checker would locate the patches, but I suspected not all those patches would be straightforward — for some patches, there would be a little detective work needed between reading the type error and making a reasonably straightforward adjustment. And I had good test suite coverage.

After writing yesterday’s blog article this was a surprisingly pleasant task.

Got an issue with any of this? Please share or drop me a line (see below).