4 ms·

> The world is very much mutable. LOL, what?

• deleted 12y ago
  [deleted]
• 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 ago
    Yes, 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 ago
    Attach a date stamp to your references and facts and BOOM, everything is immutable!