(author here) That's acknowledged in a few places in the post

So I'm squeezing many topics into this single post. I state the main points, with some justification.

So this issue deserves some more thought, and perhaps more terminology.

It is a hard thing to write about, so I basically dumped a bunch of thoughts. The writing process helps with software design and language design.

There were significant updates since the post was published, namely that Oils is based on the "EXTERIOR narrow waist", unlike other alternative shells:

https://www.oilshell.org/blog/2023/06/narrow-waist.html

https://www.oilshell.org/blog/2023/06/ysh-design.html

And there are some more updates on #blog-ideas on the Oils Zulip.

I have some FAQs like

- Is a narrow waist just an interface?

- Can the entire Internet be statically typed? Where are the static type definitions for DNS, HTTP, IRC, the Google Maps API, and Stripe API?

This is the same question as "Where are the static type definitions for grep and find and cut?"

I would like to publish some of these, but the code and language design are more important right now, and the writing is secondary