That is cute, but Java, Python and Go all also have multiple, huge, commercial sponsors, and I think it's a mistake to dismiss this impact as less significant t

That is cute, but Java, Python and Go all also have multiple, huge, commercial sponsors, and I think it's a mistake to dismiss this impact as less significant than the balance between expressive power and intelligibility. The real problem is that even with Lisp's local maximum for expressive power, it is still just a local maximum: Trying to bolt array programming or type systems onto Lisp ends up with something that doesn't feel much like lisp anymore and certainly doesn't feel like APL or an ML. Is there another maximum? I think this is still worth pursuing, but it doesn't seem to be something that a company even as big as Google or Facebook or Oracle can put their back into. What's important to Facebook and Oracle and Google? Popularity. And "intelligibility" as a social construct definitely seems to be related to popularity, but I've never been convinced to believe you must sacrifice intelligibility to get expressive power, or that we can't make programmers any smarter, only that we haven't figured out how to do either yet.