Life : constant Struggle := Beautiful;

#AdaLang

@FritzAdalis I think I don’t need it. I could use it to make sure my #AdaLang software builds on #BSD.s and that’s it.

I have released Padlock: easy libtls in #AdaLang. Works on #Linux, #MacOS, and #Windows out of the box (#LibreSSL's libtls vendored).

https://github.com/tomekw/padlock

#SSL #TLS

GitHub - tomekw/padlock: libtls in Ada

libtls in Ada. Contribute to tomekw/padlock development by creating an account on GitHub.

GitHub

I've got I/O needs... Like 35 GPIO lines and 8 devices on an 8Mhz SPI bus level of needs. A big I/O processor demultiplexed down to a UART; not a lot of CPU, just a lot of realtime shuttling of small packets of data....

#Adalang on an #ATMega2560 or #Forth ( #Mecrisp-ice on a Lattice #FPGA )?

Choices...

Tada 0.7.0 - global and local toolchains support (including Alire)

Changelog:

* validate package versions: Semver + optional prerelease tag, example: `0.1.0-dev`
* add tada config command: display configuration
* support local and global toolchain configuration

https://github.com/tomekw/tada/releases/tag/v0.7.0

#AdaLang

Release 0.7.0 · tomekw/tada

Changelog validate package versions: Semver + optional prerelease tag, example: 0.1.0-dev add tada config command: display configuration support local and global toolchain configuration

GitHub

ANN: Testy - my new testing framework

I built it, because I wanted to match on exception identity and / or exception message as well, and as far as I know, it is not possible with AUnit. Also, I wanted to understand how testing frameworks work under the hood.

Now, all my projects, including Tada, use it. I hope someone finds it useful:

https://github.com/tomekw/testy

#AdaLang

@andrewnez great read, thanks! Now I have to evaluate how my new, cough, cough, package manager for #AdaLang fits all of what you have described

TL;DR manifest file is the lockfile, dependencies are immutable through checksums, but I’m still in early stages so I probably missed tons of issues.

https://github.com/tomekw/tada

GitHub - tomekw/tada: Tomek's Ada build tool

Tomek's Ada build tool. Contribute to tomekw/tada development by creating an account on GitHub.

GitHub

New Tada 0.6.0 release!

Changelog:

* tada help: commands in the alphabetical order
* bring back tada cache: install package to the local cache

https://github.com/tomekw/tada/releases/tag/v0.6.0

#AdaLang

Release 0.6.0 · tomekw/tada

CHANGELOG tada help: commands in the alphabetical order bring back tada cache: install package to the local cache

GitHub

Decided to add rationale behind Tada [1]:

Tada is a project for personal use. I know Alire [2] exists, is more feature rich and has hundreds of packages. And that's fine. Tada is something I always wanted to build. I write Ada for fun and decided to build many projects in it to understand how the foundational pieces work under the hood. I plan to release more projects in Ada in the near future, and I want to create my own little #programming world around the language. I hope someone finds it useful.

[1] https://github.com/tomekw/tada
[2] https://alire.ada.dev

#AdaLang

GitHub - tomekw/tada: Tomek's Ada build tool

Tomek's Ada build tool. Contribute to tomekw/tada development by creating an account on GitHub.

GitHub

@michalfita I think it works both ways: if you don’t know #AdaLang well enough, you have to fight the compiler, if you don’t know #Rust well enough, you have to fight the compiler / borrow checker as well :)

I do not agree with the sentiment of one tool being more or less productive than the other: I am amazed how productive I am with Ada.

Skills > tools.