3 ms·

Don't disagree with you about Rust, but the Spark website has no download link, just a link to "Request Pricing", which requires a "professional" email. As much

by genter 3y ago

Don't disagree with you about Rust, but the Spark website has no download link, just a link to "Request Pricing", which requires a "professional" email. As much as I'd like to, don't think I'm going to spend my Saturday morning playing with it.

Georgelemental 3y ago
I believe you want https://www.adacore.com/download https://www.adacore.com/download?
- Jtsummers 3y ago
  Or use Alire which wraps it up and manages multiple installations for you. This is my preferred way to install it, and it makes it easy to select compilers for cross-compilation (like for embedded targets) or to select particular compiler versions. https://alire.ada.dev/ https://alire.ada.dev/
  - ArtixFox 3y ago
    Is Ada really as good as its touted to be? How good is the cross compilation, metaprogramming and FFI story?
    - Jtsummers 3y ago
      FFI is described here: http://www.ada-auth.org/standards/22rm/html/RM-B.html http://www.ada-auth.org/standards/22rm/html/RM-B.html Here with some examples using gcc and gnat: https://gcc.gnu.org/onlinedocs/gnat_ugn/Mixed-Language-Programming.html https://gcc.gnu.org/onlinedocs/gnat_ugn/Mixed-Language-Progr... And finally here with the Adacore learning site: https://learn.adacore.com/courses/intro-to-ada/chapters/interfacing_with_c.html https://learn.adacore.com/courses/intro-to-ada/chapters/inte... I have limited experience with FFI in Ada, but never had any issues. Cross compilation is about the same as you'd expect from any mature language ecosystem. Metaprogramming, it does not have macros but it has a very good generics systems. Also for some reason your comment was dead (not flagged dead) so you may want to email the HN mods (see contact at the bottom of the page) about that.
rcxdude 3y ago
This is something which I think has really hurt Ada adoption, even though in theory it is now available in open-source. I tried to evaluate it for some embedded hobby project a while ago and I could not figure out whether the open-source options supported both SPARK and cross-compiling to a cortex m3, and if so how on earth I was supposed to get ahold of the right version and use it. I think this may have improved, but I think there are a huge number of potential Ada users who have written it off because of this (even with an admittedly quite cursory browse of the links below I get the idea that this works, but still no concrete idea of how: lots of examples of code for embedded systems but none I could find of how its built!).

by genter 3y ago

Georgelemental 3y ago

I believe you want https://www.adacore.com/download https://www.adacore.com/download?

Jtsummers 3y ago
Or use Alire which wraps it up and manages multiple installations for you. This is my preferred way to install it, and it makes it easy to select compilers for cross-compilation (like for embedded targets) or to select particular compiler versions. https://alire.ada.dev/ https://alire.ada.dev/
- ArtixFox 3y ago
  Is Ada really as good as its touted to be? How good is the cross compilation, metaprogramming and FFI story?
  - Jtsummers 3y ago
    FFI is described here: http://www.ada-auth.org/standards/22rm/html/RM-B.html http://www.ada-auth.org/standards/22rm/html/RM-B.html Here with some examples using gcc and gnat: https://gcc.gnu.org/onlinedocs/gnat_ugn/Mixed-Language-Programming.html https://gcc.gnu.org/onlinedocs/gnat_ugn/Mixed-Language-Progr... And finally here with the Adacore learning site: https://learn.adacore.com/courses/intro-to-ada/chapters/interfacing_with_c.html https://learn.adacore.com/courses/intro-to-ada/chapters/inte... I have limited experience with FFI in Ada, but never had any issues. Cross compilation is about the same as you'd expect from any mature language ecosystem. Metaprogramming, it does not have macros but it has a very good generics systems. Also for some reason your comment was dead (not flagged dead) so you may want to email the HN mods (see contact at the bottom of the page) about that.

rcxdude 3y ago

This is something which I think has really hurt Ada adoption, even though in theory it is now available in open-source. I tried to evaluate it for some embedded hobby project a while ago and I could not figure out whether the open-source options supported both SPARK and cross-compiling to a cortex m3, and if so how on earth I was supposed to get ahold of the right version and use it. I think this may have improved, but I think there are a huge number of potential Ada users who have written it off because of this (even with an admittedly quite cursory browse of the links below I get the idea that this works, but still no concrete idea of how: lots of examples of code for embedded systems but none I could find of how its built!).