News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by UncleMeat on Sunday December 31, 2017 @04:23PM (#16043069)
Type checking is (usually) intraprocedural and flow insensitive. That's what makes it easy. The other stuff is harder.
[ Parent | on HN ]

There are no comments on this comment yet.