Most readable introduction to the topic I‘ve read so far. Nicely outlines the dichotomy between unit testing and types as both serving as different kinds of ver

Most readable introduction to the topic I‘ve read so far. Nicely outlines the dichotomy between unit testing and types as both serving as different kinds of verification tools. Types as „approximation of the result of a computation„ is also a nice and concise way to describe them, haven’t seen that definition before.