[pjmlp]

Yet companies like Eiffel Software, and Ada vendors with Ada/SPARK, are still in business with people paying for using their tools, in a day and age where many devs refuse to pay for their tooling.

[SvenL]

Would be interesting if they pay because they want those tools or if they pay because they fear rewriting some old tools using those languages.