Nice article. I used to program 8-bit micros, BASIC Stamps, etc. back in the day (early 90s)for animatronic effects for store windows and malls. Mainly electric

Nice article. I used to program 8-bit micros, BASIC Stamps, etc. back in the day (early 90s)for animatronic effects for store windows and malls. Mainly electric, pneumatic systems. I even used a capacitive touch sensor through the window of Saks Fifth Ave. to allow children to touch the glass in front of a Nutcracker and have it raise and sound a bell. They loved it! Early touchscreen tech! (I had an NCR 3125 with PenOS and a touchscreen at the same time, so not exactly revolutionary). Most of the logic was pretty simple, so C or asm or even BASIC were fine, and easy enough to step through in my head. At that level, I did not really have very intricate logic or lengthy programs. I picked up the book, "Building High Integrity Applications with SPARK", and read a few articles on how to rewrite portions of C code with SPARK and I am sold on using it for larger embedded projects[1]. I am sure Rust can do the same albeit not with the same ecosystem that you can use with SPARK to the same level - yet. I am happy to see them start to cross pollinate each other with the best ideas from both. I am biased to SPARK, since it was easier for me to understand the syntax, and the concepts as opposed to my efforts with Rust. But this is my preference. I prefer programming in J/APL, so take this with this with a grain of sal(J or APL embedded programming, hell yeah!). It can only get better for both Rust and SPARK from here on in. [1] https://blog.adacore.com/how-to-prevent-drone-crashes-using-spark https://blog.adacore.com/how-to-prevent-drone-crashes-using-...