haskell, erlang, clojure, forth, google go, scala, F#, ocaml, racket, sbcl reasonably widely recognized as PL's. The relatively new paradoxers are things like

haskell, erlang, clojure, forth, google go, scala, F#, ocaml, racket, sbcl reasonably widely recognized as PL's. The relatively new paradoxers are things like epigram, Agda, coq, ATS; mozart/oz, mercury, factor, io, D, newspeak, imho. Probably others from emLangCamp: http://www.oscon.com/oscon2010/public/schedule/stype/Emerging+Languages+Camp http://www.oscon.com/oscon2010/public/schedule/stype/Emergin... note hedge words, reasonably, relatively..