Competition Plutus - Glow-Lang/glow GitHub Wiki

Plutus is the smart contract language for Cardano.

See source code.

Pros:

• It is a richly statically typed functional language developed by IOHK.
• It can use Haskell as a metalanguage to write applications in which most of the application is run off-chain but some parts are run in a contract.
• Plutus actually offers many layers: from Plutus Core, the untyped VM, to the Plutus Application Framework, a complete solution to write DApps.

Cons:

• It only works on Cardano
• While you can build higher-level concepts on top, the basic constructs are fairly low-level, with a lot of complexity specific to the Cardano blockchain.
• Because the language is so powerful, it is not easily feasible to automatically prove correctness of programs.
• While much better than most alternatives, it still requires twice the code needed in Glow