Competition Pact - Glow-Lang/glow GitHub Wiki
Pact is the smart contract language for Kadena.
Pros:
- It has a Lisp syntax yet Haskell-like types (its metalanguage is Haskell)
- It features builtin key management
- Each contract has a small relational database instead of some ad-hoc low-level storage.
Cons:
- It doesn't seem geared to deal with adversarial situations, only with cooperative or centralized operations, which would qualify it more for permissioned blockchains than permissionless interactions.