Competition Michelson - Glow-Lang/glow GitHub Wiki

Michelson is the native smart contract language for Tezos. It is a mostly-but-not-quite-pure virtual machine based on simple typed functional combinators.

Somewhat safer than the EVM, but not very usable. Its type system is too strong for low-level hacks, and too weak for real high-level programs. Using GADTs for those types was another semi-cool idea that caters to the needs of the implementers rather than those of the users.