81
General Project Discussion / Re: Reasoner.js: a framework for generalized theory synthesis
« Last post by ivan.moony on November 16, 2023, 03:21:00 pm »I did a major refactoring of the main loop. Now the code is a lot cleaner, meaning there should be less bugs. Speed of execution is also improved by a multiple factor. I think the project finally entered the phase when actually it may be fun to play around with. I also added some intriguing examples with binary numbers in the playground.
There is still a lot work to do, but I'm on it. This is the current roadmap:
As usual, there is online playground and the project home page.
There is still a lot work to do, but I'm on it. This is the current roadmap:
Code: text
[ ] alpha conception
[x] theorizing
[ ] implementing
[x] main loop recognizing unrestricted grammars
[x] variables substitution (to do: [ ] unbound variables)
[x] gradual typing (to do: [ ] any depth metarules; [ ] deep variables)
[ ] improved s-expr meta capabilities: mandatory `PAIR` and `LIST`
[ ] non-deterministic sequent matching
[ ] `READ` side conjunction
[ ] `WRITE` side disjunction
[ ] error messages
[ ] stress test
[ ] beta testing and revising code
[ ] gamma release
As usual, there is online playground and the project home page.