As discussed in PR #392, there's a mistake induced by the programming model way of storing state: unless share/evolve
are used the state is not preserved.
The mistake lies in using neighboring
nested to propagate values.
This would make a great example in the explanation (for the docs) — showing:
- what the incorrect implementation looks like,
- why it fails,
- and how to fix it using
share
.
Suggested action:
Add a dedicated section in the tutorial/docs using this case as an educational showcase to introduce the share
operator.
