Michelson is a stack machine language. Here is an example of a Michelson contract deployed on the mainnet:
The contract is available at the address KT1Gbu1Gm2U47Pmq9VP7ZMy3ZLKecodquAh4
A smart contract is a public object. As such it is required to convey confidence in the business process it implements. It is then suggested to use register languages which make the code easier to read, write and verify.
Several register languages are available and listed here. They compile contracts to Michelson.
In the DApps presented here we are using Archetype, a high-level language to develop Smart Contracts on the Tezos blockchain, with all Michelson features, plus exclusive features (new types, state machine design, ...) to ease development, tests and formal verification.
For example, below is the Archetype version of the above contract:
Completium provides a convenient set of contract templates to start your project from. Learn the Archetype language with a eight steps online tutorial: