The Enterprise Developer from Hell

I’ve been working on a bunch of longform obligation pieces and while they’re a lot of fun, they’re also steadily driving me insane. So I took a day off to write about all of the kinds of automated testing I know about. I’m defining tests here to be “an independent verification program that, as part of verification, executes the code we want to verify.” This means types are not tests, as they don’t involve execution of the code, and contracts are not tests, because they’re not executed as an independent program.

Resiliency against change & avoiding regression The real cost of software isn’t the initial development, but the maintenance over time. In time, the requirements will change, there will b…

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone! - haf/expecto

Using F# and it's ecosystem in production in a game

Alternative titles: Unit Tests are a Scam Test Features, Not Code Data Driven Integrated Tests

Including an example of property-based testing without much partitioning.

Danish software design

Not all software needs to be correct, but a large subset does.