Earlier quoted context omitted.
What kind of argument is this. > constraint logic programming, logic programming The book you comment on actually implments a logic programming system. Both common lisp and clojure have implmentations of high performance logic systems. > Static functional programming Both Clojure and Common Lisp have type systems that can do most things ml and haskell can do. Its arguable that some of this (in the CL) are even more p…
But that's not the main style of programming. If you teach someone lisp he'll hack around with functions and macros and not realize that his problem could be elegantly written in constraint programming. Most of the time the majority of code (written by good programmers) is in constraints or relations, so why encase that in a functional language with parenthesis everywhere (I've programmed a fair bit in lisp and don't…
You want a language that is flexible to expand into new fields.
Also you have still not provided with these magical programming languages you are talking about. Is there any language you yourself would use?
As far as I know many concepts like contraind logical programming is not really ready for prime time, in most cases.