On Aug 17, 2007, at 8:05 PM, Clifford Heath wrote: > benjohn / fysh.org wrote: >> I'm about to go home. Damn. >> They called it Definative Programming (think >> reactive is a much better name, as it happens). > > A strongly related, but possibly even more advanced technique is > called > Constraint Logic Programming, CLP. It's been around since around 1981 > or earlier. Doing it with real numbers (so-called CLP/R) has a lot of > hardcore difficulties, but it's being used in high-end architectural > design packages, for example. In such tools, the formula for the size > of a beam required to span two walls and support a particular load is > dynamically recalculated as you vary the wall spacing, just to give > you > an idea of why you might want such a language. > > Clifford Heath. > You will probably find this interesting: http://www.flapjax-lang.org/ Cheers- -- Ezra Zygmuntowicz -- Founder & Ruby Hacker -- ez / engineyard.com -- Engine Yard, Serious Rails Hosting -- (866) 518-YARD (9273)