I suspect you are confusing Functional Relational Programming with Functional Reactive Programming. The latter revolves around programming with time-varying str

I suspect you are confusing Functional Relational Programming with Functional Reactive Programming. The latter revolves around programming with time-varying streams of values and has been implemented many times. There is an interesting discussion of related problems at http://lambda-the-ultimate.org/node/4900#comment-78949 http://lambda-the-ultimate.org/node/4900#comment-78949. Functional Relational Programming is defined by using relational constructs to model data and manage change and using pure functions to express computation. The only serious implementation I'm aware of is http://boom.cs.berkeley.edu/ http://boom.cs.berkeley.edu/