Languages
You can write Tezos smart contracts in any of these 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 language developed specifically for Tezos
Each of these languages are eventually compiled to Michelson, the base language for Tezos smart contracts. For information about Michelson, see Michelson.