Types are tests with better ergonomics
Types are tests with better ergonomics.
Types provide faster feedback, inline, with less code than the equivalent test would require.
Types don't replace tests. But, they do reduce the amount of time I have to spend writing tests.