Michelson Return values

[tulpenhaendler]

This has been discussed before, some relevant threads:

Adding Read-Only Calls

Current Situation On Tezos, we can’t “call” another Smart-Contract (SC). What I mean by that is that there is no operation to get some output from another SC. What has to be done is to convert the two contracts into Continuation Passing Style. This was a conscious decision, made to avoid reentrancy attacks. However, as it is, this decision has some drawbacks: Reading the state from another SC requires some cooperation from it Writing the code is a bother (which is being mitigated with higher…

Concurrency, BFS vs DFS (and a proposal)

I would like to continue the discussion about concurrency/BFS vs DFS, as described in https://forum.tezosagora.org/t/problems-with-concurrency/1771 I understand that moving to message passing (all effects are final before operations are executed) solves the problems of control-flow in Ethereum. An alternative would be to have call-return without effects (only fail/no-fail) or limited effects after the return. This limited call-return enables useful patterns like defensive programming us…