Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- This is specifically for hardware. Looks really cool!
I’ve always been confused about Ada the language and its licensing though. I know this project is open source but is the language as well? It’s unclear to me, though I may be missing information
by no_wizard - you have GNAT https://www.getadanow.com/ which is part of GNU compilers
some discussion https://news.ycombinator.com/item?id=27313294
by homarp - Just as open as COBOL, Fortran, C and C++.
As ISO standards driven language with multiple implementations, commercial and open source ones.
The open source one is part of GCC.
by pjmlp - If you are looking for an open-source compiler, many distros (e.g. Archlinux, Debian and derivatives) bootstrap a full GCC (GNU compiler collection). Sometimes you have to install a particular packet, e.g. `gnat` or `gcc-ada`. There's also a language-specific packet tool `alire` that seems to aim to be somewhat like cargo. It can also install toolchains, IIRC.by i-con
- What do you mean with "is the language open source"? The Ada specification is public [0] but not open source -- but the C and C++ specifications are not open source either, in the normal sense of the term. And like with C and C++, there are both open source and proprietary compilers for Ada, see e.g. [1]
What's mostly not open source (FAFAIK) is SPARK, the formal verification framework for Ada.
by tremon