# 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.