🚀 go-pugleaf

I'm thinking about designing a language in which discrete time series are a
fundamental data type.  I have vague memories of having seen similar ideas
before, so I'm hoping someone can point me to prior work.

The data I want to manipulate comes as series of observations taken at
certain intervals of time (not necessarily the same interval for each series).
I want to be able to refer to such a series as a single data object;
to perform operations on such objects (eg, to add corresponding elements
of two series to deliver a sum series), and to define functions that work
on such objects (integration and correlation might be examples).  I want
the functions to be able to work incrementally as new values are added to
each data series (lazy evaluation might help here).

In trying to work out these ideas, I've run into some nasty problems of
semantics, particularly when combining series having different time bases.
How to make a reasonably efficient implementation is not obvious either.

So, if anyone can point me to related papers, language designs, working
systems, etc, I'd appreciate it.

-- 
			tom lane
Internet: tgl@cs.cmu.edu	BITNET: tgl%cs.cmu.edu@carnegie