2 ms·
It’s usually implied that “effect” pertains to observable effects. Anything that doesn’t affect referential transparency gets handwaved away. A memoized functio
by chuckadams 2y ago
It’s usually implied that “effect” pertains to observable effects. Anything that doesn’t affect referential transparency gets handwaved away. A memoized function might use a private stateful cache, but as long as it doesn’t affect determinism, you can keep its existence secret.
- _nalply 2y agoA thought stroke me. Security struggles with timing leaks. That programming language would need something like a timing effect to control timing leaks. In such a programming language a memoized function is effectful on time.
- deleted 2y ago[deleted]