I’m sort of following the process from the proposed https://github.com/haskellfoundation/tech-proposals/blob/feat/new-proposal-process/proposals/PROPOSALS.md as of right now, but bringing up a general area of concern to gather input from different stakeholders and the community.
Personally, I’d expect the goals of such a project to be (in order):
- First, upstreaming any changes to GHC into the mainline compiler, including tests so that they do not bitrot. Also, integrating any tools changes into mainline Haskell tools so that build processes for the web are not separate from other targets.
- Second, maintaining focus on compatibility with as much of the Haskell ecosystem (Hackage, widely used libraries, etc.) as possible.
- Third, improving both build-time and runtime performance issues.
I don’t know much about the internal structure or work on these projects, so I don’t know to what extent financial investment in the projects could help. But there is reason for hope: IIRC, Well-Typed is already contracting with HF on GHC work, so additional hours there may help with upstreaming compiler changes, and Tweag is already a consulting company and maintains Asterius, so may be interested in a contract for development there that would devote paid hours to the project. Obsidian is another Haskell consulting company that has recently contributed to GHCJS and might be interested in a contract for it.