> I wonder if there’s room for a theory of convergent evolution, in software and languages, towards something that is generally appreciated. There definitely s

> I wonder if there’s room for a theory of convergent evolution, in software and languages, towards something that is generally appreciated. There definitely seem to be a few attractors. Almost every serious language from the last 20 or so years is now essentially OCaml with some minor tweaks. (e.g. Java has pretty much spent 25 years gradually turning into OCaml; so has Python, despite a very different starting point). Meanwhile languages that get extensive macro capabilities early on tend to turn into Lisp.