IIRC, this was called "permanent assignment" in CPL, a name I very much like. It's also pretty much the same as a dataflow constraint (see: Amulet, Garnet, Spr

IIRC, this was called "permanent assignment" in CPL, a name I very much like. It's also pretty much the same as a dataflow constraint (see: Amulet, Garnet, Spreadsheets, ...) In Objective-S, I use the syntax |= for the unidirectional variant of a dataflow constraint, =|= for bidirectional (ObjS uses := or ← for assignment, = for equality). So the above would be: a := b. a ← b. c |= d+1. z |= 10-time. (if 'time' were the current time in ObjS) https://objective.st https://objective.st