I honestly think they’d understand it about as much as they’d currently understand it - that is, not understanding it very much at all. So I think it would be about the same level of understanding but it would make a lot more sense and would be easier to calculate with.
It’d also remove a lot of incentives for squeezing your income/pension contribution to align with certain thresholds (i.e. tax bracket thresholds).
This is indeed pretty unique.
This is really just the fact that Rust has sum types - but those kinds of types have been used in many functional languages (Haskell for example) for a long time.
This is just the same as C and C++ and any other low-level language that requires you to distinguish between the stack and heap.
I mean if you’re only looking at OOP languages then this will be new, but functional languages have done this for a long time.
So yea, I think a big part of what makes Rust great is that it has managed to take these really, really good ideas from functional programming languages and made them work in a language that is not entirely functional. This leads to a perfect blend/best of both worlds with regards to OOP and functional programming :)