Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
johnisgood
on Oct 17, 2019
|
parent
|
context
|
favorite
| on:
Why Isn't Functional Programming the Norm? [video]
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?
Jtsummers
on Oct 17, 2019
[–]
SPARK was barely making waves when they selected OCaml. OCaml was much more established by that time.
johnisgood
on Oct 17, 2019
|
parent
[–]
Fair enough. Then they should probably just focus on the second question. :)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
