I once did an engineering camp at the Air Force academy and in one of the classes we programmed Lego mindstorms with Ada - something like https://www.adacore.com/academia/projects/real-time-mindstor...

I do wish we had better options for embedded! Even C++ isn't making much headway against C when it comes to programming microcontrollers.