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.