Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?

I am able to do an Alire search myself, thanks. :grin: Note that I mentioned “well-maintained library”. That excludes projects like openapi_server that have a much larger scope, and projects like adayaml whose author admits in the issue list that “Hate to say it, but this project is abandoned. It is an experimental implementation of a YAML 1.3 spec that never happened, uses a custom allocator that has bugs and is thus not in a state that I would recommend for production use.”

That’s why tinyaml is in the Alire list: it’s the solution I built myself.

Ah, didn’t know it was abandoned.

I am curious what you are comparing here, because a C tutorial isn’t going to present the “whole language.” I think it’s unfair to expect that from an equivalent Ada resource. You need to read the standards to really understand how things work. For example, C has some particularly nasty rules around integer promotion, something that makes bitwise ops hard to get right if you’re not aware of them. I doubt a tutorial will go into much depth about this. Ditto for pointers, strict aliasing, and pointer provenance. At best, a tutorial can simply quote the standard in which case you’re going to read it anyways.

For an introduction to Ada I found the AdaCore books excellent and they’re free: About learn.adacore.com - learn.adacore.com

I think this is just about time you realise yours is a minority perspective.