Languages

You can write Tezos smart contracts in any of these high-level languages:

• LIGO, which has versions with syntaxes similar to JavaScript/TypeScript and OCaml
• SmartPy, which has a syntax similar to Python

Each of these languages is eventually compiled to Michelson, the base language for Tezos smart contracts. That means that the high-level languages have limitations caused by how Michelson works. For information about Michelson, see Michelson.