High Level Language on an STM32
Ada is certainly feasible. See these articles for example:

http://www.embeddedrelated.com/showarticle/617.php
http://electronicdesign.com/blog/running-ada-2012-cortex-m4

Some resources discussed here and available on github including the Ravenscar (real-time tasking designed with reliability in mind) RTS.