Is it worth learning?
>>106408099No.
Never has been.
id try it over rust anyday might actually be able to get a high paying job with it
>>106408099I wonder if they use it at Doge.
Funny I considered it just a day ago after 30 years of other langs
>>106408099It’s an enjoyable language to work with, but it depends what your goals are. It’s not widely used, so job openings are few and far between. It’s well designed, and troon free. For personal projects it’s my language of choice.>>106408178>>106408183Seething troons
>>106408859It's a very fun programming language, it's just used for dick all. Not even the DoD uses it anymore.
>>106408877I’m not sure they personally used it for much, only they mandated it to contractors building their equipment. You’ll still find it used here and there, but there’s a lot more C++.The switch away from Ada wasn’t even technical. During the late 90s, C++ was gaining popularity (probably because of gaming and Windows), so all the university grads knew it, making the C++ programmer more common, and thus cheaper.
The only reason to use any language is because you enjoy using it, if you're learning it to land a McJob you're jeet tier anyhow
>>106408099The jobs for Ada are dying, this was a language for the US DoD. There is no need to learn it. Other anons have said it, projects moved onto newer technologies once C++ replaced Ada, now Java/Go/Rust replaced C++. Enjoy
Online introduction to Ada, with interactive compiler:https://learn.adacore.com/courses/intro-to-ada/chapters/introduction.htmlInteractive labs to test your knowledge:https://learn.adacore.com/labs/intro-to-ada/index.htmlIntro to Ada:https://learn.adacore.com/pdf_books/courses/intro-to-ada.pdfAda for the C++ or Java Developer:https://learn.adacore.com/pdf_books/courses/Ada_For_The_CPP_Java_Developer.pdfAda: A Crash Course:http://www.pchapin.org/Ada/AdaCrash.pdfBooks:Programming in Ada 2012 by BarnesBeginning Ada Programming by Shvets
>>106408971Ada never stopped evolving, whereas Rust highlighted problems with C++, people are starting to take note of other alternatives as well. Ada has been quietly brilliant in the background.
>>106408971>Rust replaced C++Troon delusions.
>>106409001The third party libraries for Ada are a joke. Ada needs insane hackery to interface with other languages. The default library compared C std sucks.
>>106409028You’re right, there isn’t a Crate for “is_even”, this should be changed immediately. >The default library compared C std sucks.Objectively false. The Ada standard library is monolithic to a fault. What exactly do you claim is even missing?
>>106409028Just to highlight what a malicious liar you are. >Completely bare bones,https://en.wikipedia.org/wiki/C_standard_library>Ada’s language and standard library formally specified. http://www.ada-auth.org/standards/22rm/html/RM-TOC.html
>>106408980>Programming in Ada 2012 by BarnesBabe, wakeup. A new Ada book dropped.
If you want to shoot missiles at people and kill them; ada is the language for you.
>>106409528Ada in the missile, Haskell for the launch controller.https://stackoverflow.com/questions/2773004/what-is-the-origin-of-launch-the-missiles
>>106408099I like the idea of Ada SPARK. Everything else, not so much.
>>106408099I'm forced to learn this at a course in Uni, no idea why. Only fucking coding we will do besides matlab.
>>106408099>Is it worth learning a programming language named after a woman?what are you a moron?
>>106410266At least she was a woman, you never will be.
>>106408099You will learn way more about programming from Ada than any LISP/FP/<insert memelang>.In terms of use it's a bit tedious for certain tasks like managing C pointers, but it's perfect for OS and microcontroller projects where you don't have to deal with that.And, of course, for anything that *must* work correctly, it is still the golden standard. Learning Ada (SPARK/2012/2022) will show you what a joke Rust/Zig/memelang "safety" is.
>>106408099>The government loves Ada>Write in C, oh write in Chttps://youtube.com/watch?v=1S1fISh-pag
>>106408099this is /g/ why are you talking about a supermarket
>>106408099Occasionally use it since the early 2000s. It's a nice language, very productive, and SPARK is great, but it's so niche. And all the community's attempts to break out of it failed miserably. Unfortunately.
>>106409819spark is too much
KILL PEOPLE
If you want to shoot missiles at people and kill them; ada is the language for you
SLAUGHTER PEOPLE
If you want to shoot missiles at people and kill them; ada is the language for you. _
>>106411622>>106411639>>106411737I wish I was getting paid to write code for missiles
>>106411762Russkies like C: (like the girl shown in this picture (she is russian))> зa дyшy взялo, aж пpocлeзилcя > it touched my soul, I even cried> ( https://www.youtube.com/watch?v=XHosLhPEN3k 3rd comment under "show newest")They do not like ADA because it is in the missiles that will kill them.
>>106411762You could program in QuakeC to get the gist of missile programming. It's all vector programming, which is in the vicinity (though not quite exactly there) regarding weapon system programming.Nexuiz/Xonoitc, for instance, has routines for predicting the path of enemies and, by input of initial velocity, determining the angle and detriment the projectile is to be fired at.Could be directly used for automated systems with some middleware that provides the needed information to the system.I know you'll laugh, or someone will come in and laugh, but the math is the math and it helps you to get used to working with vectors, and what you'll need to do for the real thing.Think of it as a military contractor programmer simulation. Like the "lets drive a truck for 96 hours" game germans use.It also has cryptographic programming in it; for no particular reason. Another thing you'll bump into in military contracting once in awhile (though you'll be using different algorithms)
>>106408910C++ the accidental superpower.
>>106411876Hey brah, your last thread got delted.
>>106408971>The jobs for Ada are dyingYes but 90% of its dying happened long ago. It's basically in hospice now. To the extent it still lives, it's mostly in niches like aerospace. What would it take for Ada to gain wider acceptance? Tooling is a big one. For the longest time the ecosystem was difficult for anyone who wasn't either at university or working for an aerospace company/military contractor to get into. I believe that's changed somewhat but not enough. It also needs a niche that appeals to the more casual developer. Part of the reason why C# is big in gaming is due to Unity. Ada needs something similar, in both terms of a popular niche and a widely available tool.
>>106408099NoThere is no jobs, no libraries, no usecases.
>>106412656I like the pascal influence on Ada, but it really needs to lose the begin/end.
>>106412656>Ada needs something similar, in both terms of a popular niche and a widely available tool.Languages are not islands.
>>106411762I am (almost). I write code for fighter jets, we use both Ada and C++, and Python for scripting. AMA.
>>106412656>What would it take for Ada to gain wider acceptance?Move the bloat from language features to library features Make functional programming possibleReplace countless keywords with C style symbolsMake dynamic memory management safe using lifetimes or soAdd thread safety guarantees via whatever meansAdd good, cross platform build and dependency systemMore libraries, libraries, libraries
>>106413317>AMAWho is your daddy and what does he do?
>>106413548>Replace countless keywords with C style symbols|\|();>dynamic memory managementCan't use that on airplanes
>>106413042In the case of Ada, it pretty much is. Unless it flies through the air, it doesn't use Ada.
>>106414071>Can't use that on airplanesThen keep it on airplanes only. It doesn't have to be useful for general programming.
>>106408099No, but C++ is.
>>106413711(((Wallenberg))) is my daddy. He owns like half the country.And fuck off with your implication for using "AMA" as a term.
>>106413317>Fighter jet>PythonPlease say you're lying.
>>106414268SAAB-broder?
>>106414286Not in the actual plane, no. For scripting, simulating and testing.>>106414291Jajemen
Ada missed the opportunity to expand into the automotive sector when vehicles started getting all manner of sensors and automation. That would have been a huge market.
I wish Ada support was genuine and not just the contrarian reaction to Rust. Any time I try to talk to these supporters of Ada, it's obvious they don't know a thing about it or programming in general.I've written some programs in Ada, ported projects from Rust and C. Way too verbose, no ecosystem, and not meant for general purpose programming. Having a bunch of bad ideas tacked on like OOP doesn't help either.
>>106415109You wish there was genuine support for Ada but you also think it's a shitty language? Can you try to make your stream of consciousness at least make a tiny bit of sense.
>>106408099>Is it worth learning?3x Better than Rust so 3x worthier to learn that Rust. Results of the calculation:3 * 0.0 = 0.00.0 worth to learn
Ada Lovelace blew her fortune on the horses just like her daddy.
>>106415277This is exactly what I mean by the pathetic astroturfing that doesn't work anywhere but the dregs of anonymous message boards. I didn't say anything contradictory. You are no doubt engaging in bad faith by putting words in my mouth that I didn't say (I never called it shitty).I'm interested in topics around safety and programming correctness. I want to talk to people about PL concepts present in Ada and newer languages, I wish more languages had features in Ada.
>>106414625The (much lesser) billionaire of Green Hills was feuding with Elon Musk about this issue. Naturally he was pitching his product, published claims about how unsafe Elon’s products were because they didn’t use a safe language.
>>106415424Not that anon, but you claimed OOP was just a bad idea “tacked on”, yet it is actually cleaner than C++ in practice. OOP is also a mainstay of general purpose programming. Also what does “ecosystem” actually mean to you? Did you take a look at other features like Tasks?
>>106415639Because it was tacked on in Ada 95 and further extended in 2005. OOP in Ada is not like C++ or Java which they compare to in the docs, programmers from those languages will not understand how to even use OOP in Ada. https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.htmlhttps://en.wikibooks.org/wiki/Ada_Programming/Object_Orientation>Ada’s designs regarding OOP have come under some criticism, some of which is warranted, but most of which is rooted in ignorance of how it is generally consistent with other Ada types… and much of it is rooted in how it is different than in other, more popular OOP-languages.https://web.archive.org/web/20230930004514/http://edward.fish/wp-content/uploads/2023/07/Explaining-Ada%E2%80%99s-OOP.pdfFrom people I've talked to, OOP is generally avoided outside of some inheritance but it's also tricky because OO can be unsafe. The language wasn't designed around it and doesn't have checks to maintain correctness.
>>106415890The reason it’s avoided is because a lot of older Ada compilers are still used, which do not implement these changes. These are of course systems which have been verified and cannot be updated to “untested” newer compilers. OO being unsafe and there being no checks around it is just FUD. Your complaint is some PDF that is so old you could only find it on the wayback machine lol. >From people I’ve talked toLOL.
>>106415109This so much. Even if I only used Ada for like a year at university, I can tell that majority of Ada shills never used it for anything. People really think it's some hidden gem language that does what Rust does but better. But it really is just an old, awkward language designed when people knew no better.My Ada professor was a cool dude. He really liked Ada and me being Rust developers we had a lot of fun discussing safety and dabbing on cniles.When I went to receive my diploma, he approached me to tell me he started learning Rust.
>>106416463>That happened Rust also kills baby elephants. BTW the guy who waxes my balls says Rust is security theatre.
>>106416493>AI slop as evidence Pathetic
>>106415890OOP is generally not used in Ada because it doesn't really offer anything over the traditional package system, other than inheritance and pointlessly tying procedures with data. It should go without saying neither of these things are welcome features.
>>106416594The package mechanism without the “objects/classes” feature is sufficient to unite procedures with data. Not sure why you think that’d be pointless. Also the type system allows for a primitive form of extension. The main benefit to the OOP features is dynamic dispatch / polymorphism. You don’t have to use it for everything, but it’s nice if you ever want it.
>>106413317Military industries should really introduce JavaScript into weapon development. It would be hilarious to control missiles with JS
>>106416422>OO being unsafe and there being no checks around it is just FUD. Your complaint is some PDF that is so old you could only find it on the wayback machine lol.That PDF was linked in an Ada forum by the person who wrote it.It's not FUD either. Adacore has resources on how to mitigate vulnerabilities known to be caused by OOP such as multiple inheritance and overriding methods. The solution is "don't fuck up the Liskov substitution principal, throw GNAT Pro/SPARK Pro at it, and write a bunch of tests/proofs". Ada itself doesn't prevent any of these issues.
>>106416642Are you ESL?I can't say I've ever felt a particular need for polymorphism in Ada that isn't better suited by a generic package.
>>106416846I admittedly just scanned your post because I saw the “OOP bad” and it seemed like the usual idiotic drive-by critique Rust fags give; so I apologize for repeating what you posted. That said, I cannot believe you cannot imagine scenarios where you’d see OOP as an alternative to instantiating generic packages all the time, since that approach might require completely inverting relationships. Generics and OOP should be complementary, not competing solutions.
>>106408099Haha no
>>106418874At least it's not COBOL.
>>106416733The Pentagon should pay companies like Raytheon to have isolated skunkworks that use JS for developing weapon systems and then fill the those departments with workers they suspect are Chinese spies. They send the info back to the CCP, where they try to get it to work on their own weapon systems, to hilarious results. Back in the US, have fake tests that make the JS employees think the system is working for them, which will make the weapons folks back in China invest even more resources into the JS suckhole.
>>106419456Oh, now this is genius.
>>106416463>started learning Rust.Even AdaCore joined the Rust Foundation, co-developed Ferrocene, and released "GNAT Pro for Rust."
Can't wait to see all the Ada users in Advent of Code 2025.>inb4 everyone shilling Ada ITT is a nocoder bitch.
>>106412441>>>106411876>Hey brah, your last thread got delted.You informing me, or dissing me?
>>106420807https://github.com/Fabien-Chouteau/adventofcode-adaHe only did a couple of days each year, but at least he gave it a stab.
>>106420677Yeah. I have finished my degree years before that happen, back then barely anyone heard about Rust. But it makes sense they would team up, both languages have similar goals archived by other means.Ada is also adding a limited version of borrow checking inspired by Rust to improve dynamic memory handling AFAIR.
>>106408099No. It's shit. The people behind it literally scammed the old farts at dod.
>>106415109This
>>106415424>I wish more languages had features in Ada.Which features?
>>106415424Your initial post didn't make sense nor did your follow up. It wasn't about Ada, it was about the logical contradiction of your rambling, unorganized rant that could have been about Oreo flavors or dump truck bed design. You're still too disorganized mentally to make a coherent, logical point.
>>106421064>>106421065>You informing me, or dissing me?Yes.
>>106408099WAY better than rust. That's for sure.
>>106422911Then I will kill you.I will use a weapon controlled by Ada to do it.
Since I am being dissed by a marconite christian (they hate YHWH, and are anti-loli bride) for this post, I will repost it:>>106411762You could program in QuakeC to get the gist of missile programming. It's all vector programming, which is in the vicinity (though not quite exactly there) regarding weapon system programming.Nexuiz/Xonoitc, for instance, has routines for predicting the path of enemies and, by input of initial velocity, determining the angle and detriment the projectile is to be fired at.Could be directly used for automated systems with some middleware that provides the needed information to the system.I know you'll laugh, or someone will come in and laugh, but the math is the math and it helps you to get used to working with vectors, and what you'll need to do for the real thing.Think of it as a military contractor programmer simulation. Like the "lets drive a truck for 96 hours" game germans use.It also has cryptographic programming in it; for no particular reason. Another thing you'll bump into in military contracting once in awhile (though you'll be using different algorithms)
Since I am being dissed by a marconite christian (they hate YHWH, and are anti-loli bride) for this post, I will repost it:>>106411762You could program in QuakeC to get the gist of missile programming. It's all vector programming, which is in the vicinity (though not quite exactly there) regarding weapon system programming.Nexuiz/Xonoitc, for instance, has routines for predicting the path of enemies and, by input of initial velocity, determining the angle and detriment the projectile is to be fired at.Could be directly used for automated systems with some middleware that provides the needed information to the system.I know you'll laugh, or someone will come in and laugh, but the math is the math and it helps you to get used to working with vectors, and what you'll need to do for the real thing.Think of it as a military contractor programmer simulation. Like the "lets drive a truck for 96 hours" game germans use.It also has cryptographic programming in it; for no particular reason. Another thing you'll bump into in military contracting once in awhile (though you'll be using different algorithms).
Since I am being dissed by a marconite christian (they hate YHWH, and are anti-loli bride) for this post, I will repost it:>>106411762You could program in QuakeC to get the gist of missile programming. It's all vector programming, which is in the vicinity (though not quite exactly there) regarding weapon system programming.Nexuiz/Xonoitc, for instance, has routines for predicting the path of enemies and, by input of initial velocity, determining the angle and detriment the projectile is to be fired at.Could be directly used for automated systems with some middleware that provides the needed information to the system.I know you'll laugh, or someone will come in and laugh, but the math is the math and it helps you to get used to working with vectors, and what you'll need to do for the real thing.Think of it as a military contractor programmer simulation. Like the "lets drive a truck for 96 hours" game germans use.It also has cryptographic programming in it; for no particular reason. Another thing you'll bump into in military contracting once in awhile (though you'll be using different algorithms)..
>>106422996It's Marcionite you Ashkenazic demon.
>>106408859I've heard the US uses it for the software in aircraft and weapons systems. Is there any use for it professionally aside from that?
>>106423280>Is there any use for it professionally aside from that?You could write a book: >>106409108
