Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
annexistrayline
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
annexistrayline
7y ago
You typically wouldn't write an entire program (unless it is really critical) in SPARK. The biggest payoff from SPARK is being able to prove that exceptions can't happen, and therefore you can turn off Ada's run-time checks.