• 0 posts
  • 11 comments
Joined 1 year ago
Cake day: March 4th, 2025
  • The way I see it, if you want to be pedantic about it (it being a joke photo, so potentially unintentionally reversed by the camera, of a cake which is in 3d space and can be seen in both directions) you might as well do it properly and acknowledge that different orders exist for bits.

    Indeed writing conventions are also a good point, however this is not writing. People actually working at bit level are probably more likely to see bits on a scope (so in both LSb or MSb order) than as 1 and 0s written on a piece of paper or a screen.

  • What version are you running? I just tried on Ventura, worked fine on both a .dmg package and some terminal script, both unsigned, and both would need the settings thing if I simply double clicked to open. You still get a prompt, but you have an “open anyways” option.

  • I’ve never used Rust but from my very cursory knowledge of what the borrow checker entails, it wouldn’t add so much to Ada.

    Use of pointers is already strongly discouraged by the simple fact that the language is designed to rarely truly need them. Besides, the compiler itself chooses automatically whether to pass data by value or by reference depending on the required results and what is most efficient. You can also specify parameters passed to a function as read-only. Finally, another thing that Ada does to prevent yourself shooting in your foot is to enforce strong encapsulation of functions and data.

    Overall, one way to put it in simple terms is that Ada requires the programmer to give enough information to the compiler so as to ensure that it actually outputs what you want it to, which as far as I understand, is sort of what the borrow checker is there for. The downside to the Ada approach is that it is very verbose, but with the kind of code editing capabilities we have nowadays it’s certainly not as much a hassle as it was when Ada came out.

    Anyways, I suspect that both languages are different enough in overall paradigm that trying to solve problems in Ada the way you would in Rust would probably be quite frustrating and give rather poor result.