#adalang search results

Ada's reliability shines in safety-critical systems in aviation and transport. How do you utilize Ada's strengths? #AdaLang #SafetyCritical $AIMASTER ✈️🛤️

Vous avez envie de lire des articles sur Ada en français et bien en voici quelques uns. En plus, gage de qualité, ça vient de Systerel. blog.systerel.fr/fr/tags/ada/ #ada #adalang #adaprogramming

Alquimista de código: Instalando #AdaCore alquimistadecodigo.blogspot.com/2024/09/instal… #adalang #ada

I am having difficulty understanding code modularity in #AdaLang. How do I gracefully avoid redefining basic types, while developing testable modules?

Alire provides a CLI to the Ada/SPARK ecosystem that makes development as easy as any other modern language #AdaLang

Surprised to see Ada in a list of most suitable languages for operating systems. I knew that Ada has some popularity in the European financial sector, but not that it's also used for operating systems in the aerospace and defence industry. Did you know? #adalang #programming

Start a new #AdaLang compiler 🙂

#rustlang and #adalang come from the same mindset of solving problems in #software before they can cause harm. To improve the combination of these technologies I updated my gpr-rust crate that allows for an easier integration of Ada libraries in cargo. github.com/jklmnn/gpr-rust

4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-the… #ada #programming

4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-the…

J-1 pour le #OSXP2022 !⌛ A partir de demain, vous pourrez rencontrer les fantastiques membres de l'association Ada-France au stand A09 dans le village associatif à @OSXP_Paris #adalang #Ada #Spark

What about #AdaLang?

This could be #AdaLang… ada-lang.io

Ever wanted to use #AdaLang in #Cargo? You can now build and link Ada libraries easily with my new GPR crate. crates.io/crates/gpr #ada #programming

Ever wanted to use #AdaLang in #Cargo? You can now build and link Ada libraries easily with my new GPR crate. crates.io/crates/gpr

I was in love with #AdaLang before it was cool.

I love the “new” #AdaLang website! 💙 ada-lang.io

"Lessons Learnt Moving a GTK Application from Go to Ada" #golang #adalang #gtk #gui github.com/SMerrony/dashe…

This seems a fairly good #ADA resource: getadanow.com The #AdaLang #wiki page: en.wikipedia.org/wiki/Ada_(prog…

ｸﾞﾜｰ… #AdaLang だー😮

#rustlang #adalang #golang

Good luck learning #adalang then 😂 #adaprogramming

#AdaLang

I'm learning #AdaLang and made a thing. This is 50 shades of greyscale #Mandelbrot.

This is why you don't bake a concurrency model into the language. Expose that shit through a library _only_. #adalang

Why isn't #AdaLang more popular? Shit like this doesn't help. This was taken right from libgnat. What do Head and Tail do, just by looking at them? You can probably tell given the Justify and Pad parameters they aren't working like Head and Tail normally do.

Trying to do the same with the #adalang standard library fails, because of bad design decisions

It's been a while since I've tweeted the install count for my #adalang extension for @code. It's a lot.

I was today years old when I learned this was a valid place you can put aspects in #adalang

Very minor example of the Text.Patterns package for #adalang working using the new model

All of this just to handle converting an #adalang decimal literal to a double-precision floating point type 😐

I was today years old when I learned GNAT hardcodes values instead of following the Ada RM advice. Talk about fragile. #adalang #adaprogramming

Got ideas about how #adalang should be better? Even if they can't be implemented I'd like to hear about them. I'm collecting ideas with @msonenote so if you'd like to contribute, DM me for an edit link. #adaprogramming

My #adalang extension for @code is getting a much needed improvement soon(ish?). As part of a complete rewrite, things like multiline matches are now happening.

Remember way back when my #adalang extension for @code had basic support for snippets? I'm bringing those back, as a stand alone extension. And they are getting sophisticated 🤓

No wonder #AdaLang string searching is so bad 😕 This isn't even Knuth-Morris-Pratt or Boyer-Moore. Meanwhile I'm over here implemented KMP, BM, Boyer-Moore-Horspool, Apostolico-Giancarlo, and Raita, so I can profile them and make a decision.

Obviously I need to make the type private, but I'm doing this just to show off the concept. Basically, I implemented #csharp's Span<Char> in #adalang. String slices without creating a copy of the string (unless that copy is actually needed). This is very good for performance.

Here's the only two mentions of "indentation" in the #adalang reference manual. Nowhere does it mention that "Ada convention is 3 spaces". That's AdaCore's convention. Not an #adalang convention.

Since #AdaLang is my primary programming language, this has been a long desired feature in #CSharp for me. In less than a month, C# 8.0 will be out and we can declare non-null for reference types! Holy crap did it find a lot of bugs in only one small project.

So I'm doing a thing, and rewriting some of my code. If you know my programming habbits, you know I prefer #AdaLang and #csharp, and this is neither. #fsharp rightfully earned a place in my toolset for math, especially arrays