Huh, thanks for the link, I hadn't seen this talk of his. We take a ton of inspiration from the work done the 70's and 80's before we decided exactly what "computation" meant. There were so many great ideas that elevated what we could do with computers, it's sad that 40 years later we're sitting here trying to rediscover them.

I get that thought every time I do archaeology on the work of memory safe systems programming languages (Burroughs B5000), the Cedar/Interlisp-D/Smalltalk environments at Xerox PARC, Oberon environments at ETHZ and other similar research.

The programming world would look much different (for the better) if Lisp Machines had succeed instead of UNIX workstations.