advent_of_code VS aoc21

I've updated the README file of my github repository where I have put solutions to Advent of Code. The README file outlines my thoughts and considerations when writing the code which uses a minimal subset of the full Ada language, uses AdaControl to know the intended subset is used, how memory safety and resource management in general has been done when not taking advantage of SPARK. https://github.com/joakim-strandberg/advent_of_code

I am aware that controlled types are associated with performance penalty although I haven't fully understood why. When I write Ada code I try to avoid using them although sometimes there seem to be no workaround like for example when using Gautier's multi precision integer implementation when doing Advent of Code 2021 (https://github.com/joakim-strandberg/advent_of_code, the "Big_Int_Holder" package in advent_of_code_2021.adb). Return value optimization (RVO) does make me think of extended return and limited types in Ada 2005, although as was discussed in the video that move semantics is more than that. Thanks for bringing up the subject!

It's kind of the opposite for me. It takes much less time to understand what Ada-written code is doing compared to any of the C-type languages, or even Rust. It is very plainly written. Verbose, yes, but much more plainly written.

Just take a look at this, and tell me it's not legible: https://github.com/joakim-strandberg/advent_of_code/blob/mas...

Ada95, part one (full code at https://github.com/joakim-strandberg/advent_of_code/):

Ouch, link doesn't work, due to escape characters. The proper link: https://github.com/joakim-strandberg/advent_of_code

I only had time to look at today problem 10 minutes ago. Part 1 in Rust is here. I got a O(m*n) time complexity here (m is the number bitstring length, n is the number of bitstrings). I'm pretty sure there is a better way. Any insights?

Rust version with a single function. I wonder if at this line I can parse the integer value directly. I didn't find a way to do it yet.

Learning Rust, so there is my solution: https://github.com/finalfire/aoc21/blob/main/src/day1.rs