http://referential-transparency.tautologer.com, a theory blog of @kmels and @netogallo