Hacker News new | ask | show | jobs
by c-cube 1781 days ago
Can you? Is there any tool that actually does that reliably?
1 comments

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.