据我所知唯一的门路就是：去读约翰·巴恩斯写的《Ada 2012编程》（Programming in Ada 2012）：https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1... 整整900多页，只能祝你好运了。关于Ada我见过的所有其他资源都极其零散，所以这本书……
The only way I know is: read "Programming in Ada 2012" by John Barnes: https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1... 900+ pages of Good Luck With That. All other resources I've seen regarding Ada are really scattered around, so this book…
Agreed, Ada's documentation is sparse and hard to find. Unfortunately, the best resource I've found for learning it from the ground up is the textbook "Programming in Ada 2012" by John Barnes. It's a bit pricey, but the core of the language hasn't really changed since Ada 95, so a used copy of an old edition will get you started. AdaCore's got some decent learn-by-example…
https://www.researchgate.net/publication/220475937_Design_by... For the record: that was ages ago, the language has improved a lot since then. Ada 2012 includes features for contracts, for example. Read the "Preface" of "Programming in Ada 2012" for details. :)
Interesting, I didn't realize there is a new edition: Programming in Ada 2012 by John Barnes: http://amzn.com/110742481X I wonder if ADA wouldn't be better if they were subtracting features rather than adding them.
Coincidentally I am just reading the <<Programming in Ada 2012>>, and found this in the introduction chapter: > C history ... The essence of BCPL was the array and pointer model which abandoned any hope of strong typing and (with hindsight) a proper mathematical…
…gnat and base library license confusion has been discussed in the thread. In addition to that I'm missing a succinct and to the point introduction to ADA. The signal to noise ratio of the standard "programming in ADA 2012" book was freaking me out. I stopped looking into the language not because the language was hard but because it was explained so poorly.
据我所知唯一的门路就是：去读约翰·巴恩斯写的《Ada 2012编程》（Programming in Ada 2012）：https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1... 整整900多页，只能祝你好运了。关于Ada我见过的所有其他资源都极其零散，所以这本书……
The only way I know is: read "Programming in Ada 2012" by John Barnes: https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1... 900+ pages of Good Luck With That. All other resources I've seen regarding Ada are really scattered around, so this book…
赞同，Ada的文档少得可怜而且极难找。很遗憾，我找到的从零基础入门最好的资源就是约翰·巴恩斯写的那本教材《Ada 2012编程》。价格有点贵，不过这语言的核心自Ada 95以来就没怎么大变过，所以搞一本旧版的二手书也能带你入门。AdaCore倒是有一些挺不错的示例教学……
Agreed, Ada's documentation is sparse and hard to find. Unfortunately, the best resource I've found for learning it from the ground up is the textbook "Programming in Ada 2012" by John Barnes. It's a bit pricey, but the core of the language hasn't really changed since Ada 95, so a used copy of an old edition will get you started. AdaCore's got some decent learn-by-example…
https://www.researchgate.net/publication/220475937_Design_by... 顺便说一句：那是很久以前的事了，这门语言从那以后改进了非常多。比如Ada 2012就加入了针对契约（contracts）的特性。详情可以读读《Ada 2012编程》的“前言”。:)
https://www.researchgate.net/publication/220475937_Design_by... For the record: that was ages ago, the language has improved a lot since then. Ada 2012 includes features for contracts, for example. Read the "Preface" of "Programming in Ada 2012" for details. :)
有意思，我都没注意到出新版了：约翰·巴恩斯的《Ada 2012编程》：http://amzn.com/110742481X 我在想，如果ADA是做减法去掉一些特性，而不是不断往里加特性，会不会反而更好。
Interesting, I didn't realize there is a new edition: Programming in Ada 2012 by John Barnes: http://amzn.com/110742481X I wonder if ADA wouldn't be better if they were subtracting features rather than adding them.
真巧，我手头正读着《Ada 2012编程》，在导论那一章看到了这段：> C语言的历史……BCPL的本质是数组和指针模型，它彻底放弃了强类型的希望，并且（事后来看）也放弃了合理的数学……
Coincidentally I am just reading the <<Programming in Ada 2012>>, and found this in the introduction chapter: > C history ... The essence of BCPL was the array and pointer model which abandoned any hope of strong typing and (with hindsight) a proper mathematical…
……关于gnat和基础库的许可证混乱问题帖子里已经讨论过了。除此之外，我一直没找到一份简明扼要、直击重点的ADA入门指南。那本标准的《Ada 2012编程》信噪比实在太低，搞得我都快抓狂了。我后来没再继续研究这门语言，不是因为语言本身难，而是因为被讲得太烂了。
…gnat and base library license confusion has been discussed in the thread. In addition to that I'm missing a succinct and to the point introduction to ADA. The signal to noise ratio of the standard "programming in ADA 2012" book was freaking me out. I stopped looking into the language not because the language was hard but because it was explained so poorly.