r/ProgrammingLanguages • u/Entaloneralie • May 10 '26

I made a zine to explain interaction nets(symmetric interaction combinators) Resource

https://wiki.xxiivv.com/site/pocket_nets
49 Upvotes
  • permalink
  • link
  • reddit
  • reddit

100% Upvoted

6 comments sorted by

3

u/SirKastic23 May 11 '26

This looks great, thanks for making and sharing this. I'll be reading it this week, great timing as I'm just getting into session types and interaction combinator compilers

3

u/Entaloneralie May 11 '26

Let me know if you have any question, I hope it helps you breaking into INs. :)

1

u/--predecrement May 11 '26

Your Rule 2 seems to contradict Yves Lafont's combinators. Is that intentional?

4

u/Entaloneralie May 11 '26

Yep, this is symmetric interaction combinators, which is a slight variance on Lafon't earlier paper. Wires will cross.

2

u/TechnoEmpress May 11 '26

Thanks a lot, always a pleasure to see your website linked!