Comment by johnisgood
7 years ago
Speaking of correctness and performance, was Ada/SPARK ever considered before you guys picked OCaml? Hypothetically, would you consider Ada/SPARK now, especially that SPARK has safe pointers and whatnot?
7 years ago
Speaking of correctness and performance, was Ada/SPARK ever considered before you guys picked OCaml? Hypothetically, would you consider Ada/SPARK now, especially that SPARK has safe pointers and whatnot?
SPARK was barely making waves when they selected OCaml. OCaml was much more established by that time.
Fair enough. Then they should probably just focus on the second question. :)