NO IT DOES NOT. Please do not repeat this false claim.
> This model has been tried many many times
No. What YOU describe has been tried many times. It doesn't work. We agree.
> The architecture astronauts require their language to be guaranteed across wire boundaries
Yep. This does not.
> which is a fancy way of saying that their uber-language needs to be implemented in all the subsystems for guarantees to work.
Yep. Which is why that is a bad idea.
NO IT DOES NOT. Please do not repeat this false claim.
> This model has been tried many many times
No. What YOU describe has been tried many times. It doesn't work. We agree.
> The architecture astronauts require their language to be guaranteed across wire boundaries
Yep. This does not.
> which is a fancy way of saying that their uber-language needs to be implemented in all the subsystems for guarantees to work.
Yep. Which is why that is a bad idea.