alt Hacker NewsGood luck using static typing to model many real world unit tests for the programming languages people use most. I start with an easy example: those records should be sorted by date of birth. We can move on to more complicated scenarios.
Replies
Jaxan • yesterday at 5:52 PM
The comment didn’t claim that types are a stand in for tests either! IMO, they are orthogonal.
➕ show 1 reply
paulddraper • yesterday at 6:08 PM
No one claims that types are a stand in for all unit tests.
They stand in for the banal unit tests.
> "records should be sorted by date of birth."
What's wrong with C#'s: