5 ms·
> Virtually nothing stops you from using Ada What would you recommend for getting started with it? Looks like there's GNAT and then also GNAT Pro and then the
by elcapitan 1y ago
> Virtually nothing stops you from using Ada
What would you recommend for getting started with it? Looks like there's GNAT and then also GNAT Pro and then the whole SPARK subset, which one would be best for learning and toying around?
- kqr 1y agoGNAT. Upgrade to gprbuild when you start to find gnatmake limiting. SPARK is best considered a separate language. It gives up some of the things that make Ada great in exchange for other guarantees that I'm sure are useful in extreme cases, but not for playing around.
- thesuperbigfrog 1y agoIf you are playing with Ada, be sure to try out Alire, a 'Rust cargo'-style tool for Ada libraries: https://alire.ada.dev/ https://alire.ada.dev/ One thing to be aware of is that GNAT is part of GCC: https://gcc.gnu.org/wiki/GNAT https://gcc.gnu.org/wiki/GNAT AdaCore is the primary developer of GNAT, SPARK, and related tools: https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community https://blog.adacore.com/a-new-era-for-ada-spark-open-source... There are other Ada compilers as well: https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099 https://forum.ada-lang.io/t/updated-list-of-ada-compilers/10...
- elcapitan 1y agoOh man that style guide is triggering hard :D > Use three spaces as the basic unit of indentation for nesting. https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Presentation https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Pr...
- thesuperbigfrog 1y agognatformat is a handy tool for formatting working Ada code: https://github.com/AdaCore/gnatformat https://github.com/AdaCore/gnatformat I had forgotten about the three spaces for indentation. Yuck.