Repost :
Re: FP & TDD. More important than tests vs types is the principle of double checking. If you say something twice in independently derived ways, you’re more likely to be correct than if you just say it once. Tests are a form of double checking. So are types.
— Kent Beck (@KentBeck) August 21, 2018