The Let constructor allows a contract to record a value using an identifier let. The
expression be is evaluated, and the result is stored in the boundValues of the MarloweState
with the let identifier. The contract then continues with then.
As well as allowing us to use abbreviations, this mechanism also means that we can capture and save
volatile values that might be changing with time, e.g. the current price of oil, or the current time,
at a particular point in the execution of the contract, to be used later on in contract execution.
See
Section 2.1.7 and appendix E.10 of the Marlowe spec
The
Letconstructor allows a contract to record a value using an identifierlet. The expressionbeis evaluated, and the result is stored in theboundValuesof the MarloweState with theletidentifier. The contract then continues withthen.As well as allowing us to use abbreviations, this mechanism also means that we can capture and save volatile values that might be changing with time, e.g. the current price of oil, or the current time, at a particular point in the execution of the contract, to be used later on in contract execution.
See
Section 2.1.7 and appendix E.10 of the Marlowe spec