A thought stroke me. Security struggles with timing leaks. That programming language would need something like a timing effect to control timing leaks. In suc

A 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.