Tests vs Types
kevinmahoney.co.uk
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?