>>57
Don't see any contradictions. Any language that allows non-referentially-transparent everywhere is bound to have problems with "does what it's supposed to, but not quite equivalent" code. And any language that runs on machines with finite resources is bound to have them too. For instance, in Haskell there's a lot of referential transparency, but use a foldl instead of foldl', and you'll get a stack overflow.