more importantly there are functions (using scheme as an example) like set! and set-cdr! that mutate existing values and totally break referential transparency.
this isn't just user facing - for example let* kind of depends on creating bindings up front so they work across clauses, and then mutating them afterwards
