Also, academic research is funding languages like Haskell, Scala, Lean, etc.
I don’t know about others, but Lean was funded not by academics. It was funded by a private fund ConvergentResearch. They target somewhere between academics and VC. I know this because Lean is the closest analogy to my project, although with a different mission. I tried to apply, but they didn’t reply. Maybe they will find your proposal more appealing.
Anyway, the emergence of such funds as ConvergentResearch and OpenPhilanthropy is a promising trend.
I don’t know about others, but Lean was funded not by academics. It was funded by a private fund ConvergentResearch. They target somewhere between academics and VC. I know this because Lean is the closest analogy to my project, although with a different mission. I tried to apply, but they didn’t reply. Maybe they will find your proposal more appealing.
Anyway, the emergence of such funds as ConvergentResearch and OpenPhilanthropy is a promising trend.