76 karma · joined June 21, 2020
I get excited whenever I see "State" and "Notation" in one sentence.
I learn about state-based language from the language Forth: https://www.forth.com/starting-forth
and the language Joy: https://hypercubed.github.io/joy/joy.html
Maybe you will find them inspiring too.
The use case of your system seems interesting too, if your project is open source, feel free to share it here :)
I think you are right about the rules, just expressing them in a different way, not by local interaction between neighboring nodes, but by first-order logic!
When we add 2 (S(S(0))) and 3 (S(S(S(0)))).
I think we start with:
```
Add
| -- S -- S -- Z
| -- S -- S -- S -- Z
```
and then we would reduce it to:
```
S -- S -- S -- S -- S -- Z
```
At the top right corner of the homepage, there is a link to "Docs" -- https://readonly.link/articles/https://cdn.inet.cic.run/docs...
Maybe this article can help.
I should improve the graphic design.
If I tell you the process of designing it, you may laugh at me.
The situation is when I am not sure about how to design some graphic, I just put a square button at some corner to bear the functionality :p
I think I am just start learning about graphic design, I am reading a book called "Graphic Design Manual: Principles and Practice" by Armin Hofmann (a book first published at 1965!)
And I was also deeply puzzled when I first read Lafont's paper "Interaction Nets" (a paper publish at 1990!)
> What unique about this computation model?
Every computations in interaction nets can be easily done in parallel.
Some algorithm that make heavy use of graph might be easier to express in interaction nets, the main example is Lamping's paper called "An algorithm for optimal lambda calculus reduction".
> What unique about this language?
My humble contribution to interaction nets is to use a stack-based lower layer language to build graph, maybe this idea can be applied to other places, and maybe this idea can provide us an opportunity to make the whole language practical.
> How to be practical and useful?
Currently the language only has a pure core, just like pure Haskell without any IO,
I planed to implement inet again in a system programming language (maybe C, C++, Rust, Zig).
And add built-in functions about IO to it, we can do this in a way that will not hurt the purity of the core, by only extending the lower layer stack-based language.