> people have found that having hierarchically composable uniform abstractions is a more effective approach for large-scale system design than creating specialized concepts ...

Well, I can understand that uniformity can be appealing for sure, but at the same time it doesn't _guide_ the design; too much choice can be paralyzing. The ultimate uniform language is Lisp, but it leaves too much up to the programmer to come up with a sound design.

I still think there's room for a more opinionated language when it comes to designing large scale systems (again nothing to do with distributed systems; it could well apply to a monolith).