We have developed a compiler infrastructure (RoL) at Robot Care Systems that drives our robot LEA and automates the way we write code. RoL allows us to create new high-level languages, generate “correct by design” ROS c++ code, Graphical user interfaces, etc. The idea is to abstract vertically (by using/creating new languages) instead of horizontally (by creating libraries for a specific language). We are now in the process of open sourcing our code:
I will be at RosCon on sunday, and will stay at IROS for the rest of the week. If you want to see a live demo please send me an email: email@example.com
We are very open for discussion and feedback!