Very cool! I’ve used Ada in my spare time, and it has a lot of good features that I wish C-family languages had (like strong typedefs, no implicit conversions,

Very cool! I’ve used Ada in my spare time, and it has a lot of good features that I wish C-family languages had (like strong typedefs, no implicit conversions, better ways to do things than passing pointers around, arrays that don't decay into pointers, and types constrained to ranges). It is a lot more complex than C, but it feels a lot easier to read, and while it takes longer to write (for me) than C, it has a lot fewer weird edge cases/quirks to it than C does. It also seems to have more powerful ways to set the exact machine representation of types than C.