Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I can see this being useful in strongly-typed languages too. There is a massive class of logical bugs that will type-check correctly, that will still result in wrong results being returned.


I built a toy raytracer in Haskell for fun. I found all of these bugs. It turns out that when you implement dot product slightly wrong, the image output is very confusing.




Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: