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 linked from the wikipedia article.