The 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.
In this document, the following terminology is used to describe syntax or behavior that is not allowed in the language:
Invalidmeans that the invalid program will not even be allowed to run. The program error is detected and reported statically by the type checker.
Run-time errormeans that the erroneous program will run, but bad behavior will result in the execution of the program being aborted.
Much of the language's syntax is inspired by Swift, Kotlin, and TypeScript.
Much of the syntax, types, and standard library is inspired by Swift, which popularized e.g. optionals, argument labels, and provides safe handling of integers and strings.
Resources are based on linear types which were popularized by Rust.
Events are inspired by Solidity.