Make Illegal States Unrepresentable
Most bugs don't happen because developers forget the business rules.
They happen because our types allow impossible data to exist.
Great software starts by making impossible states... impossible.
This
olgaconstantina.hashnode.dev4 min read