Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Formal methods: Just good engineering practice?. Parent comment
Some fp languages are close enough to fit that bill; Rust too is going down this path: its type system was built to make a proof, after all.
There are no comments on this comment yet.
Some fp languages are close enough to fit that bill; Rust too is going down this path: its type system was built to make a proof, after all.