Mathematica/Wolfram Language enables this with quite a bit of success, but it's by no means a silver bullet. The reality is this does not change semantics.

http://www.wolfram.com/language/fast-introduction-for-progra...