Comment by pjmlp
Ada was impacted by the tooling price and high demands on developer workstations.
Rational started as a company selling Ada Machines, that didn't had such issues with compilation times, but again goes down to reasons I listed why mainstream keeps ignoring such tools until finally governments are stepping in.