3 ms·
Depending on your concept of time, it very much is. If you choose the same abstraction of time for reasoning about the program state and the real world, the sam
by jkrems 12y ago
Depending on your concept of time, it very much is. If you choose the same abstraction of time for reasoning about the program state and the real world, the same "reference" might change its properties over time. The speed of a car is mutable over time. The question is if the way we reason about time when talking about the "real" world is appropriate for reasoning about time in programs.
- frowaway001 12y agoYes, you mention it. Time. Time is a real property just like IO, effects, values and types. If people stop hand-waving, we would have fewer bugs.
- davidrusu 12y agoAttach a date stamp to your references and facts and BOOM, everything is immutable!