IME... > I spend more time tweaking types [to gain confidence that my code is actually doing what it should] than I do writing library code[, which would proba

IME... > I spend more time tweaking types [to gain confidence that my code is actually doing what it should] than I do writing library code[, which would probably be wrong, and saving time not having to write type-based tests]. I don't know what to say here; I've had types save me from a lot of blunders. If nothing else it moves my debugging/fixing time "left" in the timeline before it hits production. Maybe that prevents me from getting code out as quickly, maybe not since there are then that many tests I don't have to write. Maybe he's just a way better dev than me too.