I would prefer to see this become the main site for Alire. Leave ada-lang.io a learning resource and community built around that.
Indeed. You want those âinbound links from high-quality domainsâ and lots of those. Do we actually do any search engine optimisation right now. Are we at least registered at Google or Bing Webmaster?
Hooray!
If ada-lang.io became ada.dev (I would probably only be comfortable with this if adacore donated the domain to the Ada User Society) then weâd have a nice little trifecta with alire.dev and getada.dev similar to rust does with their .rs domains ![]()
Thank you for bringing this up!
I will try to give my honest impression as a new Ada programming language user.
I got to know Ada after reading some articles about, something like, âprogramming languages with a solid design in system programmingâ. There are several programming languages mentioned, including Ada.
I learned more about Ada and got a feel that Ada is something that I have been looking for.
At first, I was reluctant to use Ada because the maintainer of the compiler seems to be a company I have never heard of. For me, a commercial compiler is a no-go because it is usually closed-source and it is not available to everyone. Implying the ecosystem will be limited.
However, upon learning that a free & open source version is available, I began to learn how to code in Ada.
Why do I have this kind of impression?
This is because when I search âAda programming languageâ on a search engine, in this case, Google, the top results are (1) Wikipedia and (2) AdaCore.
I want to visit the âofficialâ website of the programming language.
On the Wikipedia page, the website listed there is adaic.org, a kind of news website for Ada.
On the AdaCore page, what I see is ârequest pricingâ, âGNAT Pro for Adaâ, and âLearn Ada Todayâ. âNo compiler download?â was my question back then.
Fortunately, there is ada-lang.io beneath. It is âan Ada community site,â though. Where is the official website?
I think there is a need to have a âgoverning bodyâ. The one who has the power to decide what we want to achieve. In this case, the Ada User Society sounds to me like a community that promotes Ada. As a programming language, Ada has a solid design, and we can follow the spec. However, as for the community, where do we go? Any roadmap? What should we do to grow our community and ecosystem? Whereâs the vision?
Many programming languages have their own governing bodies. To name a few, Zig Software Foundation, The Rust Foundation, The Lean Focused Research Organization, etc. In the case of Lean FRO, the community & ecosystem are noticeably growing even more after they announced the Lean FRO and then published their year 3 roadmap (from August 2025 to July 2026). The available jobs are also growing, and I have received at least one email talking about a Lean4 role.
At the end of the day, people are looking for a programming language with a good community & ecosystem. To have a good community & ecosystem, we need more people to contribute. To lure people in, we need to have at least a good ecosystem (package availability). This is like a chicken-and-egg problem.
I donât know if anyone has the same feeling like me. Or is it just my feeling?
Anyway, my point is that I think we need an âofficial websiteâ for the programming language itself, including how to get the FOSS version of the compiler. Then, we can have an âofficial websiteâ for the package/dependency manager. Finally, discuss more about the roadmap to grow the ecosystem. A community website is not enough.
https://adaic.org/ is the official website.
https://arg.adaic.org/ is the Ada Rapporteur Group which maintains Ada.
Thank you for the links!
Side note, these are blocked in some regions due to the hosting provider used. I donât know if that matters or not, but just a heads up.
Alright, this discussion took a lot of tangents and went way beyond the scope of my original question, and out of the scope of what is on the table ![]()
Letâs focus on the options available today, let us know what you prefer:
- I am in favor of a migration from alire.ada.dev to alire.ada-lang.io. With proper redirection of existing links.
- I would prefer to keep alire.ada.dev separate (current situation)
Could we also move https://alire-crate-ci.ada.dev/ if the alire site gets moved? Or should that be a separate pole?
Mabybe adding a 3rd option: moving to alire.dev?
This is in my radar, to integrate crate-ci into the redesign of alire website.
But yeah, if we move the TLD, all subdomains SHALL BE moved, IMHO.
This option should be added to the poll.
The AdaIC site at https://adaic.org no longer provides a positive impression. The site appears unmaintained. The news sidebar on the left hasnât had any new entries added since Nov 2023.
Monetary funding is low. Thereâs much to do for next Ada generation, see Ada Issues and Issues ¡ Ada-Rapporteur-Group/User-Community-Input ¡ GitHub