News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by deterministic on Friday October 06, 2023 @05:40AM (#37788727)
SeL4 and CompCert are examples of software that is proven correct using a very strong type system.
[ Parent | on HN ]

There are no comments on this comment yet.