Open DanielMazurkiewicz opened 4 years ago
missing bits:
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
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
Is this language at the stage that is able to be self hosted already?