Sun Sep 6 08:53:59 CEST 2009

More about rules

Looking closer at the problem, this isn't half as trivial as I first
thought..  Mostly: I can't see how to use MAX or other comparisons
other than in one direction.  Can I work around this by simply making
this a compile time error?  Max only works in one direction?

There is one vital assumption that is maybe not so valid: is it useful
to fix the direction at run time?  Maybe it's simpler to use an
event-driven / FRP approach?

No, let's stick to the current description: the language is going to
need a certain complexity to be useful.  It's probably not so that
this could serve as a simple code example -- only as a design

I found one more PhD thesis[1] linked from the wikipedia article[2].

[1] http://www.ps.uni-sb.de/Papers/abstracts/tackDiss.html
[2] http://en.wikipedia.org/wiki/Local_consistency