High level programming language to program robots with safety in mind would be amazing. RoboDK is the only one that is doing this and they still suck.
What I want is a PLC: 1) A PLC which has a hard real-time process and soft real-time processes. Beckhoff and B&R do this, other PLC's do this as well. 2) I want to do the hard real-time programming in Rust or Ada, or "Safe/restricted C"... Rust and Ada are so much more expressive than structured text. 3) I would also like to have a simple API to allow deterministic, hard real-time communication between the real-time control domain and a soft real-time domain so that higher level languages can be used for control problems. And I would like the PLC to support one of the high level languages: CLISP or Racket, F#, Julia, Python, Elixir... don't care what it is. This is actually doable on Beckhoff but the tight connection between hard and soft real-time was not really there.. and beckhoff runs windows. Would prefer Linux, VXworks, or QNX.
Of course, installations are usually expected to function for ten to twenty years at a minimum...an order of magnitude greater than anything your typical js-framework-of-the-day considers.