News for hackers. Stuff that matters.
Re:Static Types Are for Perfectionists by AnimalMuppet on Monday May 19, 2025 @08:31PM (#44036510)
Yes, if you have tests that test all aspects of the behavior for all possible inputs.

Oh, you don't have that? Then do not scorn the help you can get from types.

Re:Static Types Are for Perfectionists by igouy on Tuesday May 20, 2025 @12:19PM (#44043298)
"Less than 35 bugs were found in the 17,100 changes."

https://news.ycombinator.com/item?id=42473314

I wonder how many were not found.