My gut reaction to #strangeloop is that FP people view immutable state as an absolute. There's middle ground. Mutability is useful too, IMO.
@KirinDave I'd prefer a capability-based model where you have mutable and immutable views of the same data
-
-
@bascule Like Clojure's refs and atoms? -
@KirinDave I'm not sure you understand what I mean by "capability". I'm coming from a capability-based security perspective -
@bascule Making the semantics of the value cell explicit and its interactions labeled? -
@KirinDave I think degradation is the central idea behind capabilities -
@bascule The very idea that immutability is a "degradation" of mutability is what's incorrect, my friend. It's not about that. -
@KirinDave haha, please don't interpret degradation as an insult ;) Mutable references are capable of mutation, simple as that -
@bascule But _how_ are they mutated? "Mutation" is actually a huge concept you're just handwaving away. -
@KirinDave mutated by the CPU into L1 cache before the memory controller flushes it to main RAM? Not sure what you're asking here - 4 more replies
New conversation -
-
-
@bascule Like Erlang's value actor pattern?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule Like ST-monad?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.