The part of the loss of information at each transformation reminds me of http://...

		agumonkey on Nov 30, 2014 \| parent \| context \| favorite \| on: Epigrams in programming (1982) The part of the loss of information at each transformation reminds me of http://cm.bell-labs.com/who/ken/trust.html (~compiler correctness)