> For the complete documentation index, see [llms.txt](https://max-daunarovich.gitbook.io/flow-network/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://max-daunarovich.gitbook.io/flow-network/master.md).

# Cadence Programming Language

The Cadence Programming Language is a new high-level programming language intended for smart contract development.

The language's goals are, in order of importance:

* **Safety and security**: Provide a strong static type system, design by contract (preconditions and postconditions), and resources (inspired by linear types).
* **Auditability**: Focus on readability: Make it easy to verify what the code is doing, and make intentions explicit, at a small cost of verbosity.
* **Simplicity**: Focus on developer productivity and usability: Make it easy to write code, provide good tooling.