Get rid of input unboxing?

[emil14]

Isn't these the same thing?

• unbox field a from outport v like v.a
• route that v.a to c1 downstream node and unbox it v.a.x on the input side
• also route v.a to c2 but unbox v.a.y instead

And

• unbox v.a.x form out and route to c1
• also unbox v.a.x and route to c2

What are use-cases for inport unboxing (unpacking)? Can't we get rid of it?

[emil14]

Get rid of OUTPORT unboxing!

type LLConnectionSide struct {
    PortAddr  LLPortAddr
    Selectors []LLSelector
}

This is how it looks on both HL and LL reprs.

[emil14]

What If I want .x for all my receivers? Do I have to copy that meta info for every of them?

[emil14]

Sugar

Have outport unboxing but at only sugared form

[emil14]

https://github.com/nevalang/neva/discussions/369