Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Hecto: Build your own text editor in Rust. Parent comment
Has the ability to specificy formal proofs in the type system (SPARK).
Which basically beats the point of Rust being the only modern language happening post 1980.
Ada was just one possible example, SIGPLAN archive has a couple more to pull from.
There are no comments on this comment yet.
Has the ability to specificy formal proofs in the type system (SPARK).
Which basically beats the point of Rust being the only modern language happening post 1980.
Ada was just one possible example, SIGPLAN archive has a couple more to pull from.