Post

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

i didn't even know inets could be typed :O

so does the primary point on the inet sort of correspond to the redex of a λ reduction ..?

ok this makes sense, i have always felt vaguely confused about why (a) there's only one primary port; and (b) there's no native notion of "inputs" or "outputs"

i only got it after looking at your 'if' node :3 the 'if' puts the condition in the primary port because that's what it has to evaluate!

ooh yes good point. it wouldn't make sense for any other port to be primary because only ever primary ports determine rewrites, and in an 'if' expr the condition is what determines what is returned❗ 🤯