Is there a modern language built on these (or similar) principles? Just curious. I imagine a DSL would be adequate, but it seems we still use SQL and OOP most often, with the exception of array languages. (These days even my array programming is in an OOP language, Python)

Not to say that this is necessarily a better idea, but I find it interesting enough to wonder what analogous things are out there right now.

Aside: I find this a neat example of some hidden knowledge buried in the historical web that could easily have been lost if it weren't for brave internet archivists. Kudos to the internet archive et al!