It reminds me of an old talk by Bret Victor called Inventing on Principle: https://m.youtube.com/watch?v=PUv66718DII