News for hackers. Stuff that matters.

A comment on Ada is not just another programming language (1986). Parent comment

Re:Ada is not just another programming language (1986) by throwaway81523 on Saturday October 30, 2021 @01:14AM (#29046165)
Usually with runtime checks, but it can also in some situations be done statically, such as with SPARK.
[ Parent | on HN ]

There are no comments on this comment yet.