News for hackers. Stuff that matters.
Re:Escher: A language for programming in metaphors by kilburn on Saturday July 19, 2014 @09:49AM (#8057463)
To me this seems to be exactly what constraint programming is about. Think prolog: you define the relationships (edges in this computation graph), instantiate some values and then ask the solver to fill the rest.

Is there anything fundamentally different in your idea?

Re:Escher: A language for programming in metaphors by petar on Saturday July 19, 2014 @11:39AM (#8057752)
The language for expressing constraints is what different, not the meaning. People are confused because they properly evaluate that you can do with this language what you can do with any other. But only up to a point of scale. Then the bugs that other languages make you introduce catch up with you. And you can't produce more software because you have to spend too much time fixing bugs of old software. In Escher, every circuit without valves is forever closed as design: for the same reason electrical circuits are rarely recalled. Did you ever wonder why that is?
Re:Escher: A language for programming in metaphors by petar on Saturday July 19, 2014 @11:12AM (#8057670)
Yes. All the functional programming language had the right idea (as you point out). But not the right grammar. Escher has 3 grammar rules (reflex, circuit and valve). All these other languages have much much more. That's the point.