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

You can statically analyze specs and check them at runtime if you want.


Can you? Is there any tool that actually does that reliably?



The words "static" or "analysis" do not appear there. I imagine you meant that you can runtime check the specs, which, well, is no replacement for a type system.




Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

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

Search: