Cadence Programming Language

Bastian Müller, Dieter Shirley, Joshua Hannan

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.