4 ms·
None of those do the same kind of static analysis Rust is doing. Also F# doesn't compile fast either, in part because it is written in F# with functional idioms
by gameswithgo 7y ago
None of those do the same kind of static analysis Rust is doing.
Also F# doesn't compile fast either, in part because it is written in F# with functional idioms that are sometimes pokey.
- pjmlp 7y agoAda with SPARK sounds pretty much the same to me, or OCaml. The only thing missing being lifetimes. F# might not win marathons, it is still faster than rustc, even when adding NGEN or Mono AOT into the pipeline.