> what methodology did it follow? http://erlang.org/download/armstrong_thesis_2003.pdf http://norvig.com/java-lisp.html http://arclanguage.org/

> what methodology did it follow? http://erlang.org/download/armstrong_thesis_2003.pdf http://norvig.com/java-lisp.html http://arclanguage.org/ http://old.ycombinator.com/viaweb/ Yes, 'proved' was a too strong claim. A few exceptionally good systems has been produced, notably Symbolics CL, Smalltalk, Erlang and Clojure, which after removing all the hype and snowflakery, is a remarkable thing.