-
Notifications
You must be signed in to change notification settings - Fork 8
Competition Michelson
Noel Kwan edited this page Sep 22, 2021
·
1 revision
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.