#adalang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #adalang, aggregated by home.social.
-
"Talk at length to anyone (even complete strangers on the rare times you venture outside) about how Ada is still light-years ahead of every other language, perhaps the exception being s-expressions—more dialogue is obviously needed."
-
@liberty I wrote this: https://tada.pm
#AdaLang is super boring, extremely readable. It solved many engineering problems 40 years ago where other languages try to reinvent everything and sell it as something new.
It just works. Great interfacing with C, tasking and protected objects (parallel programming) as a part of the language. And many more!
-
-
#AdaLang: "Ada is sometimes used in critical systems, where any anomaly might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include avionics, air traffic control, railways, banking, military and space technology.”
Some people in the community: “Let’s use probabilistic methods to write #software”.
-
Hey @nlnet! 👋
Could you share the status of https://nlnet.nl/project/Ada-bootstrap/?
#AdaLang is dear to me. I am trying to make Ada better on my own, and I would definitely love to contribute to the initiative like this one.
-
LMK if you have used Tada and / or #AdaLang because I tooted about it!
-
New Tada #AdaLang package manager release! 🎉
* bump `testy` to `0.3.0`
* allow to set test seed with `tada test --seed SEED`, requires `testy >= 0.3.0`
* describe default values in `--help`
* change the package index to https://index.tada.pm/index
* generate documentation with `tada doc`, requires `gnatdoc` in `PATH`
* generate `.als.json` file on `tada init` -
-
Now this, but for #AdaLang:
A modern, self-hosting Object Pascal compiler built for the 2020s. Zero legacy, full ARC, and unified UTF-8.
-
Tada #AdaLang package manager has a website now!
-
Every language needs “the good parts” at some point, even #AdaLang :P
-
Experimenting what I can do with #treesitter and #AdaLang :)
```
(compilation (compilation_unit (subprogram_body (procedure_specification name: (identifier)) (handled_sequence_of_statements (null_statement)) endname: (identifier))))
``` -
Host your #Gemini capsule with #AdaLang on #RaspberryPi with twins 0.4.0 :)
-
I got my #RaspberrPi. What was the second thing, after configuring #PiHole, I did? I installed #AdaLang compiler and built Tada!
Happy hacking in Ada on #RaspberryPi!
https://github.com/tomekw/tada/releases/tag/v0.11.0
(tada-0.11.0-linux-aarch64)
-
@monospace I noticed it makes me super happy to just build the stuff I always wanted to do without concern for the outcome or the expectations of others.
Even if it means creating my own programming world in #AdaLang :)
-
ohh man this is fun as hell.
look here at the sizes of stuff being talked as "so big" an compare to anything that happens nowadays 😅
-
@jaypatelani @david_chisnall this is not ready to be used in production. Just use the GCC from ports.
My #AdaLang build tool was built with GCC 15.2 on #OpenBSD :)