You know, I was thinking this the whole time. Didn't we (the people) spend millions to develop Ada for the US Army?
re-reading the 'prompt'
> OS3I identified several focus areas, including (i) increasing the proliferation of memory safe programming languages; (ii) designing implementation requirements for secure, privacy-preserving security attestations; and (iii) identifying and promoting focused areas for prioritization.
I'm wondering how (i) would be accomplished? Mandating training/usage for government contractors? Making it a recommendation to school boards? Ada is so 'old' that no one is innovating for it anymore, besides AdaCore and a few others.
Maybe with the supply chain 'question', investment into those maintainers of core packages could help...
Excel is everywhere used everywhere and for very important things.
I just never... thought about writing a Haskell plugin for it. It makes sense! Better than using some other language. Functional for Excel makes sense.