Self hosting version

[DanielMazurkiewicz]

Is this language at the stage that is able to be self hosted already?

[aep]

missing bits:

• cross platform path manipulation (easy, likely to happen)
• cross platform command execution for z3 (easy, likely to happen)
• better json deserializer (hard, but likely to happen eventually)
• parser generator framework. (hard, unlikely, pest.rs is really good) Q: non-rust alternative pest-parser/pest#433

i'm not super interested in self hosting yet, because there's no clear advantage. we depend on z3 which isn't portable either, so rust isn't the main portability issue.

This may change as zetz matures and eventually becomes capable of GPU acceleration. We'll likely incrementally rewrite zetz then. The parser actually being the last bit to port, unless someone else writes a good parser framework

[aep]

well, i have a motivation to peruse self hosting now. got the new macbook arm and rust support will obviously take a while because of their (in my opinion bad) strategy to require in-tree llvm.

unfortunately the big hurdle is still pest. i just can't find a good portable parser generator