Lambda the Ultimate

Hi all,

I've been lurking here for a while - but this is my first post - so I hope I've got the
formatting right!

I thought perhaps this might be of interest to the community here:

ChucK : Strongly-timed, Concurrent, and On-the-fly Audio Programming Language

From the language specification:

"ChucK is a strongly-timed language, meaning that time is fundamentally embedded in the language. ChucK allows the programmer to explicitly reason about time from the code. This gives extremely flexible and precise control over time and (therefore) sound synthesis."

The idea of a programming language providing explicit support for being able to statically reason about how much real time a procedure requires (as opposed to it's O(n) time-complexity) seems new to me, and potentially of significant value in areas well outside ChucK's domain of audio processing i.e. real-time systems in general, and possibly even other application areas.

Your thoughts appreciated!

I've been reading through "Extensible records with scoped labels", and I'll soon be rereading Cardelli's "Operations on Records." (should be on Citeseer)

My question is simple: are there language implementations, papers, web pages, lore, (anything?) on analyzing, optimizing and thus efficiently implementing the underlying machine data structures and record operator implementations that implement these elegant record systems?

And while I'm asking, any other LTU'ers interested in these record systems and have any insight to share?

Mucho thanks.

Scott