Use Ada, you know you want to.
>>109551405It's essentially Pascal but even more bloated. If you want harcore reliability, there is ErlangIf you want completely correct systems, there's Coq / Agda / Idris / etc
>>109551424>If you want completely correct systems, there's Coq / Agda / Idris / etcAnd SPARK, don't forget SPARK.
post Stern_Rebuke isbegin it's shit;end Stern_Rebuke;
>>109551405>manual coding (codetrans)>trans picsLike pottery
>>109551435Rude.
>>109551436go make your 10th c thread today
>>109551455C is for trans "people" tooIn fact, coding is a transgender activity VibeCODERS are straight tho
>>109551436How is that a trans pic?
the most over engineered programing language. ada is literally the worst pl an hobbyist programmer could pick.
>>109551405I don't want to use a programming language named after a fraud story about le female empowerment.
>>109551532There’s a girl in his pic and op wants to be her bc he’s a coder
>>109551430>And SPARK, don't forget SPARK.Yes but the OP said "Ada" not "Spark" which is a subset.
>>109551405Learned it in college but after graduation, getting the tool chain was impossible. Apparently they've made it more open and gcc can compile Ada but still looks like a pain to work with if you're not an aerospace company or other large manufacturer with all the required ecosystem resources.
>>109551820lol fair enough>>109551960Yeah even now as far as open source there's basically only AdaCore (and the FSF version), and I don't think any other company even supports anything above Ada 95, which isn't exactly a good sign for any language, considering there are three more standards past that.Also "alire" their cargo culting of rust's cargo is pretty shit.
>>109551405I don't even know what ada is, OP
>>109551405Ada is one of those languages like Lisp. People love to talk about and they *say* they program in it but they never get beyond a hello world program or a fizzbuzz. Besides, I thought you lot were all Rust-only programmers. ;)
>>109554162It's a general purpose programming language, comparable to C or now maybe more like C++, with a Pascal type syntax rather than the more common C sort. Can do anything from on the metal embedded to big ass corporate applications (don't know if anyone uses it for the latter though). Was originally mandated for US military shit but no more, it still has a niche in mission critical shit like medical stuff, trains, planes, missiles, space shit, etc. though it is by no means dominant, C++ is the modern alternative there, and Rust is attempting to make inroads.
>>109554222Why would I use it over c or c++ if I'm not a military contractor?
>>109554234Nvidia uses Ada with SPARK for safety critical stuff so it's not super niche
>>109554234Cause you're sick of the ugly ass syntax of C++, and Rust is just as bad?It's verbose and strict (by design) but that leads to significantly better readability (especially after some time has passed and you forgot wtf you were doing), and "safety" since it encourages you to add all sorts of constraints and shit to more specifically model your problem and leave less room for errors.
>>109551405I already do
>>109554344Very nice.Are you in aerospace or some other industry where Ada is used, or do you just do it for fun?
>>109554434>Are you in aerospace or some other industry where Ada is usedYep! I had never encountered Ada before, but when I started my employer handed me a bunch of books and allocated time for me to learn the basics on the job.
>>109551532Pastel colors, blue, pink and white
>>109555136you're afraid of colors now?
>>109555136ur just jelly of her atlantid phenotype
>>109551405Because it has shitty ecosystem with no libraries, really primitive and lacking documentation and bloated unreadable syntax with way too many language features that should be library features.I hated every single moment of using Ada. I would rather be forced to use C for the rest of my life than ever touch that shit again.
>>109554291>Cause you're sick of the ugly ass syntax of C++, and Rust is just as bad?Ada's overuse of keywords makes it much worse experience if you know what you are doing. It takes many times more LoC and characters to express same algorithm in Ada than in C++ or Rust.>that leads to significantly better readabilityThe opposite actually. Having to read 5x more makes it less readable. There is a reason why math is done using mathematical notation instead of writing everything in plain English. Sure if you are unfamiliar to the notation it might look daunting. But an experienced mathematical will be much more productive in reading and doing math when it is in proper succinct notation. Programming is no different.>and "safety" since it encourages you to add all sorts of constraints and shit to more specifically model your problem and leave less room for errors.That's what modern C++ and Rust is all about too.
if it good for critical mission. why no browser were built on that. wondering.
>>109555595>That's what modern C++ and Rust is all about tooC++ doesn't have it built into the compiler like Ada does. For formal verification in domains where you have to adhere to things like DO-178C I'd take SPARK over C++ any day.
>>109555595Who says minimizing LoC is a metric?
>>109554175People do actually use Ada. But they are like 2 people on this board working on maintaining some old legacy Ada software with an NDA they can't speak about and they never use Ada for hobby stuff because of how useless it really is outside of closed down proprietary systems.
>>109555680Because the consequences of a missile failing to launch or an avionic system throwing an exception are much more severe than a browser chrashing.
>>109555680Use case for writing a browser in Ada?Also how come, despite Rust being literally created for writing a browser, there's no usable browser written in Rust?
>>109555698Ok. What was the last Ada SPARK project you wrote for yourself? Some video game? Maybe a manga reader? Web service or some general purpose library? Anything?
>>109555727Why do you need to compare Ada to Rust specifically? Can't we just discuss Ada merit in its own?Rust is already in chrome and firefox taking care of font rendering, CSS, XML parsing, jpegxl etc.
>>109555706Me. I've explained the parallels between code and mathematical notation, and why succinctness is preferable.
It's a pain in the ass, why bother? Is some giant defense company going to give me a job for learning this useless turd? No, they'd rather hire Indians.Go to a Hindi subreddit and beg for mindshare there.
>>109555781Usecase for succinctness?t. ebussy
>>109555864>they'd rather hire IndiansWhere I work you don't get in if you have any foreign background at all, not even if you're born here
>>109555742>What was the last Ada SPARK project you wrote for yourselfI'm currently messing around with Jorvik, building an ethernet interface on STM32F4 so I can measure latency and clock drift between two boards before and after implementing PTP, with a GPS module as independent time reference.
>>109555981Wish they'd apply those same standards to our government.
>>109555781Mathematical notation is uniformly retarded. It has thousands of years of bad choices that it can't shift because it would cause mathfags to have a fit and it's full of implicit information. If you hold that shit as the gold standard for expressing ideas then you'll probably want to use some object oriented language with operator overloading that allows you to recreate that mess in code better.
>>109556555>It has thousands of years of bad choicesIt was invented in the 1500's by two guys, has nothing in common with the old way of doing things. You need fewer LLMs in your life.
>>109556555Or just take the idea to its logical conclusion and use APL. Very succinct.
>>109551405
>>109556683lolnice project you got going on back there
>>109556627It could have been invented yesterday. Shit is shit no matter how old that shit is.
anon it might be more fashionable to call it typescript if plain english runs good better change characters one letter at time if not
>>109556555>If you hold that shit as the gold standard for expressing ideas then you'll probably want to use some object oriented languageAda is object oriented. More mathematical way of writing code is functional programming since it comes from lambda calculus.
>>109556630i wish apl were left-to-right
>>109551405>Why aren't you programming in AdaI write VHDL, close enough.
>>109555328>>109555405>troons
Ada is cancer oriented. More tumorous way of writing code in dysfunctional programming since it comes from kidney calculus.
>>109560335Elaborate.
>>109560388Java-tier verbosity for C-tier expressivity. Garbage codegen by design. Toy language-tier ecosystem. It literally does everything wrong.
>>109551436>MANUAL BAD HURRWhy are hard skills bad? Don't you agree that knowing to do X gives you an edge over someone who doesn't know how to do X?Do you manually wipe your ass or have someone else do it? Wait, that's a dumb question. Of course you don't wipe it yourself, you're too dumb for even that.Also go fuck yourself Bosroach. Die in a fire.
>>109551436>>manual coding (codetrans)I bet you were shilling web developmenet 10 years ago.
>>109555462>no librariesExist, but locked down for the most part.>lacking documentationLol wut, the Ada Reference Manual has everything you need.>language features that should be library featuresExample being?
