Brent • 6/7/2019

Tests and types

The article discusses the relationship between software testing and type systems. Using a function that converts RGB values to a hex string as an example, it argues that while tests verify specific cases, a strong type system can statically eliminate many invalid inputs (like non-integers or null), reducing the number of necessary tests. It also touches on the limitations of common type systems and mentions concepts like generic or custom types (e.g., Int<min, max>) to enforce business rules like value ranges.

0 comments

#testing #type systems #Unit Tests