Aha, that makes sense (the initialization and mutation, that is).
It probably won't surprise you to know that I would scribble a := there; `==` is one of my least favorite of the tokens we've inflicted upon ourselves as a profession. Certainly it's good to draw the distinction between initialization and mutation.
Although as an immutable initialization, `=` is correct as an equation as well... hmm.
I wasn't familiar with Alloy, but I'm about to be. I've clobbered a few things together with PlantUML, and don't have any use for a diagramming system that doesn't have a canonical textual representation, which it appears Alloy does... it appears Alloy does rather a lot, actually.
My goodness. This thing has a SAT solver strapped to the side of it. I did not see that coming.
It probably won't surprise you to know that I would scribble a := there; `==` is one of my least favorite of the tokens we've inflicted upon ourselves as a profession. Certainly it's good to draw the distinction between initialization and mutation.
Although as an immutable initialization, `=` is correct as an equation as well... hmm.
I wasn't familiar with Alloy, but I'm about to be. I've clobbered a few things together with PlantUML, and don't have any use for a diagramming system that doesn't have a canonical textual representation, which it appears Alloy does... it appears Alloy does rather a lot, actually.
My goodness. This thing has a SAT solver strapped to the side of it. I did not see that coming.