News for hackers. Stuff that matters.

A comment on RustBelt: securing the foundations of the Rust programming language. Parent comment

Re:RustBelt: securing the foundations of the Rust programmin... by pjmlp on Sunday February 04, 2018 @01:56PM (#16304177)
Have a look at Idris, ATS, Liquid Haskell, F* or Cyclone, then maybe you will appreciate Rust from another angle.
[ Parent | on HN ]

There are no comments on this comment yet.