I didn't take a deep look, but it reminds me to Bret Victor's proposal on "Inventing on Principle" from 2012:

https://vimeo.com/36579366