> early Ada 83 compilers

IIRC, in response, DARPA (et al) did invest in compiler research.

> adoption has never really recovered

Ya. Timing. There's a brief window of opportunity for new languages (ideas) to catch on before the horde of "worse is better" solutions overwhelm the field.