Which language do you like best for safe and secure programming? I think Ada is easier to read. What do you think anons?
Ada vs Rust
Ryder Hill
Other urls found in this thread:
spark-2014.org
en.wikipedia.org
en.wikipedia.org
youtube.com
youtube.com
spark-2014.org
system-safety.org
muen.codelabs.ch
twitter.com
Adrian Garcia
C because it has formal verification.
Connor Green
>I think Ada is easier to read
woah, I know it's a personal taste but claiming Ada is more readable is crossing the line
John Baker
How so?
Jason Wilson
spark-2014.org
More profesional, no unemployed shills
Michael Reyes
This. Ironically the only real "safe" programming language is the same one Rustfags trash everyday: C.
The language is simple and consistent enough that you can use formal verification tools to not only catch memory leaks (MUH SAFETY[TM] Rust style) if you wanted to, but verify correct program execution. i.e. verify it does what you think it should do.
Once code is verified you never touch it again, it's like a piece of hardware at that point. Can't do it in Rust. There's some support for it in ADA though.
t. Gov contractor.
Julian Collins
You're right, user.
Oliver Gutierrez
What would tool would you recommend for C formal verification?
Cooper Lewis
If you wanna go full autism, you don't only need a formal verification tool for your language, you also need a formally verified compiler as well:
en.wikipedia.org
And you will definitely want a formally verified OS:
en.wikipedia.org
Easton Sanders
> If you need a "safe" language then you need a "safe" space
Sjws are the worst. Stop being a shitty programmer
Jacob Cook
>coming into an Ada thread and shilling C formal verification
Do you faggots even know what SPARK is?
Daniel Baker
>t. obvious larper
Liam Ortiz
>t. pre-op trannie
Xavier Roberts
Don't get me wrong, I have a lot of respect for ADA's formal tools. I acknowledged ADA has some support, I probably should have said it is supported. I'm just more familiar with C's very expansive library of formal tools.
Easton Jones
>being this mad on getting caught out
If you did 30 seconds of research before your larp session, you would know Ada/SPARK is the language with a ton of formal verification support. Stuff like MISRA C can't even get close to the same level of guarantees.
Chase Campbell
>I have 30 seconds of knowledge on this subject
>The other guy is LARPing though
Nolan Wright
> youtube.com
Ada race condition detection demo
Landon Foster
Reminder that Ada/SPARK sets the standard for high integrity software, and C is a miserable me-too hack.
Building High-Assurance Software without Breaking the Bank
youtube.com
MISRA C 2012 vs SPARK 2014
spark-2014.org
NASA Software Safety Guidebook
system-safety.org
>claiming Ada is more readable is crossing the line
Why? The OP is objectively correct for once. I understand you've damaged your brain with constant curly braces, but that's no reason to inflict it on everyone else.
>formally verified compiled like CompCert
Also noteworthy for being one of the few C compilers that can guarantee printf debugging to always work like you think it will. Other compilers allow undefined behaviour to potentially crash the program before execution even reaches the point corresponding to the bad source line. Yes, undefined behaviour can do that.
>formally verified OS
The seL4 kernel is a triumph of Isabelle/HOL/Haskell, with C being a mere implementation detail afterthought. On the other hand, Muen (see muen.codelabs.ch
>ADA
This gives you away as having no clue what you're talking about. Ada is not an acronym. SPARK is, Ada isn't. You probably bought into a bunch of 80s FUD.
Wyatt Morgan
>Ada vs Rust
>white military men vs diversity cucked tranny sjws
The choice is clear.
Jonathan Cooper
>expecting Jow Forums to have any clue about writing reliable software
Jose Taylor
tried coding in rust. It is a pain in the ass. Never again.
Zachary Hill
>t. brainlet