This looks a lot like Functional Reactive Programming from the haskell world... Anyone who knows care to comment on how similar they are?