3 ms·
> You don't have to go into such niches in Java to lose that property. It's not so easy. You'd have to examine debugging information in stack traces and use re
by pron 3y ago
> You don't have to go into such niches in Java to lose that property.
It's not so easy. You'd have to examine debugging information in stack traces and use reflection. You can't write such a "trace" operator in Java or in Zig. Of course, without macros, C is almost perfectly referentially transparent and Haskell is, too (except for unsafePerformIO).
- whateveracct 3y agoYou can also mutate a list that is passed in and suddenly you cannot do substitution to reason about your program.