AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support

https://www.adacore.com/press/adacore-joins-the-risc-v-foundation

by pjmlp • 7 years ago

110 14 7 years ago

bobowzki2• 7 years ago

I've recently been learning Ada and have found it to be a great language. I got into it because I'm interested in avionics and healthcare systems.

I really hope it will get a renaissance like, for example, Erlang.

4thaccount4• 7 years ago

It is indeed pretty cool and has most of what I need except for things like scientific (numerical) libraries. You could import GSL via FFI I suppose as both the free GNU and the Adacore commercial compiler are GCC based I think (I know the GNU one is for sure). That is another slight problem of mine. I think there is an exception to where you don't have to release source if you use the GNU Ada toolchain, but all the common libraries provided by Adacore are GPL'd so you likely have to skip that version and strictly use what I imagine is the expensive Adacore commercial version (no GPL) if you have IP issues.

The language itself is pretty awesome and I'd have no issue using it over C/C++ in most situations. They might have sane pricing for their commercial compiler, IDE, and Spark if you're just one person and not a government avionics shop, but I'm not sure. I'd love for Adacore to respond if they have someone in their communications group who has permission to do so.

I try to keep up with their blog posts and love their new logo. Like a lot of old computing technologies (Lisp, Smalltalk, Forth, APL...etc) I feel like Ada just didn't have the computing power or marketing it needed when it was introduced. I know I'd certainly feel safer riding on pretty much any transportation written in Ada over C or C++. I'm happy to see Smalltalk getting a second shot with Pharo, Lisp with Racket and Clojure (even Common Lisp is seeing a slight resurgence) and I wish the Ada community good luck!

bobowzki2• 7 years ago

Don't know much about pricing and IP since I've only been doing open source/hobby projects... But I've heard this complain a lot. Maybe it has something to do with that when Ada is used it's often for very high stake projects, and they need very expensive insurance?

I know I'd certainly feel safer riding on pretty much any transportation written in Ada over C or C++.

Indeed.

henrikeh• 7 years ago

Not all of AdaCore’s libraries are in GPL: their drivers are for example in BSD-3: https://github.com/AdaCore/Ada_Drivers_Library/blob/master/R...

e12e• 7 years ago

The idea of having Ada core pro under dual gpl/commercial lisence (not lgpl) is indeed an odd one. But there's also fsf/gnu ada with gcc, that has the usual lpgp (gpl with link exception) licensing.

dnbgfher3• 7 years ago

AdaCore maintains the GNU compiler as well. As a result, the GNU and AdaCore compiler (Community and Commercial) are essentially the same. The Ada community in fact just calls them all GNAT and then specifies further if it's relevant. The main difference is that GNU can lag behind a bit historically, but recently there has been some initiative from inside AdaCore to tackle that issue and they've done a great job.

Grab whichever is easiest for you to get started with. It's a weird and ultimately meaningless situation license-wise. If and when licenses matter, grab the GNU version. Unless you're doing something that requires a support contract anyway, then you'll end up with Pro.

I really wish AdaCore would do something about that Community edition. I have no idea what purpose it is supposed to have. In my opinion, right now it's mostly a thorn in the communities side. All it does is create a bunch of hesitation and confusion about the licenses and compiler capabilities for newcomers. As a result, before people even start with Ada they're getting deep into license discussions which is just a wonderful first impression. And worst of all, it's all basically for nothing because they're at most slightly different versions of the same software with a different license.

riffraff• 7 years ago

Ada is also interesting in the fact that it has evolved a lot since its inception, e.g. Ada 2012 added design by contract and new concurrency constructs.

It is a very peculiar language.

AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support

Related Stories