Latch concept is probably worth exploring further. Does anyone know of a language with native variables being a FIFO pipe? I.e.
x = 1 // x now contains 1
x = 2 // x now contains 1 and 2
y = x // x now contains 2, y now contains 1
...
This sort of thing. Not as an add-on construct, but as a native part of the language.