4 ms·
I'm very sure the commenter is being a little pedantic But even pedantry can't argue that Java is a fundamentally more referentially transparent language than
by whateveracct 3y ago
I'm very sure the commenter is being a little pedantic
But even pedantry can't argue that Java is a fundamentally more referentially transparent language than Haskell lol. That threw me for a loop.
- pron 3y agoRight, the incorrect and quite pointless common use of "referential transparency" in FP fan circles tends to throw people off when they first see and understand the actual meaning of the term.
- whateveracct 3y agoWell it's not pointless. The term as used in FP has a pretty well-defined meaning [1] and it is a quality only some programs have. And a program having that quality enhances (fast-and-loose) equational reasoning. [1] I can point at most Java code and prove how it fails the definition. It's not especially hand-wavey.