News for hackers. Stuff that matters.

A comment on Why Isn't Functional Programming the Norm? [video]. Parent comment

Re:Why Isn't Functional Programming the Norm? [video] by johnisgood on Thursday October 17, 2019 @04:15PM (#21285948)
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?
[ Parent | on HN ]
Re:Why Isn't Functional Programming the Norm? [video] by Jtsummers on Thursday October 17, 2019 @04:36PM (#21286137)
SPARK was barely making waves when they selected OCaml. OCaml was much more established by that time.
[ Parent | on HN ]
Re:Why Isn't Functional Programming the Norm? [video] by johnisgood on Thursday October 17, 2019 @04:58PM (#21286307)
Fair enough. Then they should probably just focus on the second question. :)
[ Parent | on HN ]