-
Notifications
You must be signed in to change notification settings - Fork 438
Blog Post: Interaction Nets, Combinators, and Calculus #227
Hey folks!
I just published a blog post that makes an attempt at explaining some of the foundational concepts of HVM's execution model: Interaction Nets, Combinators, and Calculus.
I explain the core ideas, and explain how to understand those twisty diagrams. 😉
Hopefully it can help make sense of some of the theory behind this awesome technology! Let me know if you have any feedback!
All reactions
-
👍 5
Replies: 3 comments 4 replies
I notice that the embedded links in your post take me to 404 pages. Are you seeing good links on your end?
All reactions
-
👍 1
Just re-deployed it with a fix! Try refreshing the page and see if that fixes it.
All reactions
Great post. The images are very nice. I was wondering if would be useful to mark the ports with some symbol (a small dot on one of them?) to help visually in the reduction process.
All reactions
-
❤️ 1
That's a great idea. I'll try that out once I get the chance. Thanks for the suggestion.
All reactions
I updated the diagrams to use triangles for the nodes and lining up the nodes more strictly, and I think it turned out much more readable now.
All reactions
Voila! C'est bon, merci beaucoup!
All reactions
-
❤️ 1
Pas de problem!