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).
https://docs.onflow.org/cadence/language/
