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
- Archetype, which is a high-level domain-specific language for Tezos smart contracts that is no longer actively developed but still maintained by its authors; for information about it, see https://archetype-lang.org
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.