News for hackers. Stuff that matters.
Re:Cold Showers by repsilat on Saturday June 18, 2022 @06:24PM (#31794350)
Yeah, a common mode when I'm making changes is "add a field to the type, run the type-checker, fix all the failures."

In a sense "type coverage" is analogous to test coverage.

Re:Cold Showers by klysm on Monday June 20, 2022 @07:27PM (#31817609)
I use this workflow so frequently - writing it the first time is harder but, changing it is so much easier that it’s absolutely worth it to me.