News for hackers. Stuff that matters.

A comment on Introduction to Ada. Parent comment

Re:Introduction to Ada by johnisgood on Thursday September 03, 2020 @04:33AM (#24361956)
I cannot see the source code for the documentation. This happens to me in so many cases. I work with a couple of codebases that have 90% documentation, 10% code. In Ada, code IS the documentation that also can be formally verified. It is wonderful.
[ Parent | on HN ]
Re:Introduction to Ada by NationalPark on Thursday September 03, 2020 @09:19AM (#24363741)
I think I've heard "the code is self-documenting" a hundred times in my career and it hasn't been true once.
[ Parent | on HN ]
Re:Introduction to Ada by Lucretia9 on Thursday September 03, 2020 @02:31PM (#24367162)
Yup, look at any driver in the Linux kernel.
[ Parent | on HN ]