Bluespec is trying to do something similar to this, but they focus on synthesizing hardware, software is a secondary thing. However, it's designed to run well i

Bluespec is trying to do something similar to this, but they focus on synthesizing hardware, software is a secondary thing. However, it's designed to run well in software too. Originally implemented by one of the major Haskell gurus, Augustusson.