I’m particularly interested in any evidence for mutable data being harder to reason about.
@davetchepak it is the tooling that arises from equational reasoning that is far superior.
-
-
@dibblego tooling?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego can’t we use eq. reasoning for mutable code by treating mutable data as implicit arg to function?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.