@wryl today I had some time to think about how Nova works, can you let me know if this is accurate https://dziban.net/note/nova
3 posts total
@wryl today I had some time to think about how Nova works, can you let me know if this is accurate https://dziban.net/note/nova @neauoire finally made my first useful non-toy program in Forth. It's pretty satisfying, I think I'm grasping more and more what it is and it feels incredible. It's strange how it focuses you on simplifying the problem instead of giving you infinite tools to bloat and to feature creep everything. I've never felt that a tool guides my thought in a good way quite as much as with Forth. @dziban that's awesome! I'm glad to hear. Forth is a superpower. What did you make? https://ret2pop.nullring.xyz/blog/cognition.html very interesting and mind-blowing language with no syntax that has to bootstrap the tokenizer |
@dziban A lot of this is correct, and a lot of it is simpler than you've specified.
Variable assignment and expression evaluation isn't a built-in feature of the language, but instead considered a part of the standard library.
Rule priority is source-order, and rules consume the tuples they match. The left-hand side of a rule is the tuples it consumes, while the right-hand side is the tuples it produces.
I've updated the snippet with more code.
https://gitlab.com/-/snippets/3716812
⦶