Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Ada and SPARK enter the automotive ISO-26262 market with Nvidia

adacore.com

Post reply on HN
Print view View original

111–113 of 113 posts

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#111

Post by ummonk »

pjmlp wrote: post #30
cashsterling wrote: post #21

Earlier quoted context omitted.

Yeah... my intro CS class was in C and Ada95 (I'm not a CS guy btw, just took the class). I actually preferred Ada over C... but continued to program in C for other classes because of compiler availability; I had to do all my Ada programming on Sparc workstations at school. I personally think that AdaCore, and friends, missed an opportunity in the early 2000's to fully embrace open source... they left a big gap which…

We are on Ada 202x nowadays being discussed, and in a world where FOSS tool makers have problems making a sustainable business, always changing licenses, there are still 7 Ada vendors selling compilers.

And only AdaCore / GNAT will ever support Ada 202x. The language has left the legacy vendors behind.

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#112

Post by ummonk »

bb88 wrote: post #90
cmrdporcupine wrote: post #69

Earlier quoted context omitted.

I think I'm tired, after 20+ years of being around the language, of hearing C++ developers tell people "they're holding it wrong" every time something blows up. Blaming the victim. C++ is a language seemingly designed with footguns built in on purpose. Even worse it has a community full of elitism and obscurantism. Rust isn't perfect (I have my gripes), but it has the right idea with ownership management at the stati…

> Even worse it has a community full of elitism and obscurantism. I've never experienced that per se, I have experienced it in other fields or orgs where the bar to entry is super high. And keeping the bar to entry is often the goal of those that are elitist. Google interviews were that way 15 years ago. I think the issue I keep coming back to with type safety is how do you make sure a value in meters is not mistaken…

> I think the issue I keep coming back to with type safety is how do you make sure a value in meters is not mistakenly used as feet without some kind of translation.

Nominal typing - you declare meter and float to be separate types. Ada makes that simple. Both Rust and Ada support that, and it's normal practice in Ada to declare separate types for every unit.

Post reply on HN