This is rather interesting. Safe and reliable programming in the large is an important goal. Generics, sum types and typeclasses make different kinds of useful abstraction available from the get-go. I'm looking forward to progress on this.
As someone who is also bootstrapping things, I just want to point out this is not the encouraging comment you might think it is. 'How can I help?' is.
The maintainer of a project puts in the work of designing it, developing it, documenting it, and publicizing it... the last thing they want to hear is "cool, just keep doing that forever until it's good enough for me to adopt wholesale without lifting a finger".
I think this is entirely down to the mentality of the developer. Feedback that the project will achieve traction and user adoption is motivating for many of us.
Yes but "I'm looking forward to seeing more" is about as reliable an indicator of future adoption as "For sure I'll invest in your company" is, coming from friends and family.
If it motivates you, you're in for disappointment.
I'd love to have the time. Family and work take it almost all up. Compilers, semantic models and type systems are of high interest for me and I've done some work related to those. But I'd be out of my depth. There are many more areas that could be contributed to. Hats off if he wrote the docs as well as the compiler, it's great technical writing, as an example of another area that usually needs assitance.
Nowadays, I need to pull larger-scale integrations of libraries together, and the quality of the supply chain along with productive development practice occupy my mind. I suppose I wouldn't be out of my depth to work on the Jetbrains IDE plugin.
I tend to buy licenses for tools I use (Sublime), I'd help a Patreon. If this could acquire foundation support like Rust did, it might reach a similar position.
