Competition Marlowe

Marlowe is another domain-specific language for smart contract language embedded in Plutus. See Tutorial.

Pros:

• A very restricted domain-specific language great to specify simple trades.
• So restricted that you can automatically prove correctness of programs.
• Work in progress, great team.
• There is a "simulation environment" that allows interpreted client-style actions, which is done by dynamic evaluation without type protection either.
• Integration with Blockly

Cons:

• The language can only deal with finitary code with a fixed number of inputs and outputs
• The language is still somewhat insufficiently typed (no labels of types to distinguish amounts and timeouts, for ensuring resources are linear, etc.).